数据词典：命题（Proposition）

赵老师

所谓的命题就是具有真假意义的陈述句。如“今天下雨”、“大于2的偶数均可分拆为两个素数的和（哥德巴赫猜想）”、“1+100=101”、“人是会死的”，等等，这些句子在特殊情况下都具有“真”和“假”的意义，都是命题。一个命题总是具有一个值，称为“真值”，真值只有“真”和“假”两种，一般分别用符号T和F表示。一切没有判断内容的句子、无所谓是非的句子，如感叹句、祈使句、疑问句都不能作为命题。如“全体立正！”、“明天是不是要开会？”、“天气多好啊！”、“我在说谎”等，都不是命题。

命题有两种类型：第一种类型是不能分解成更简单的陈述语句，成为原子命题；第二种类型是由联结词、标点符号和原子命题等复合构成的命题，称为复合命题。所有这些命题都应该具有确定的真值。

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