proposition variable【数】;propositional variable【数】
命题动态逻辑
propositional dynamic logic【计】
暂无补充释义。
propositional dynamic logic【计】
暂无补充释义。
proposition variable【数】;propositional variable【数】
propositional code theory
calculus of propositions【数】;propositional calculus【数】;sentential calculus【数】
classical propositional logic【数】
propositional attitude【计】
propositional logic
propositional constant【数】
propositional expression【计】