数据词典：命题逻辑（Propositional Logic）

赵老师

所谓命题逻辑就是研究命题和命题之间关系的符号逻辑系统。通常用大写字母P、Q、R、S等来表示命题，如：

P:今天下雨

P就表示“今天下雨”这个命题的名。表示命题的符号称为命题标识符，P就是命题标识符。如果一个命题标识符表示确定的命题，就称为命题常量。如果命题标识符只表示任意命题的位置标志，就称为命题变元。因为命题变元可以表示任意命题，所以不能确定真值，故命题变元不是命题。当命题变元P用一个特定的命题取代时，P才能确定真值，这时也称为对P进行指派。当命题变元表示原子命题时，该变元称为原子变元。

命题逻辑是一种非常简单的逻辑系统。但是，命题逻辑除了有限的表达能力外，和一阶谓词逻辑一样包含了很多的逻辑概念。

【出处】贲可荣，张彦铎 著.人工智能（第3版），清华大学出版社，2018年12月.