命题逻辑

鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。

proposition variable【数】;propositional variable【数】

propositional code theory

classical propositional logic【数】

calculus of propositions【数】;propositional calculus【数】;sentential calculus【数】

propositional attitude【计】

propositional constant【数】

propositional expression【计】

propositional symbol