命题是一个非真即假(不可兼)的陈述句。
命题是说明一件事情的语句,是有题设和结论两部分组成 前部分是题设,后部分是结论 命题分为真命题和假命题。正确的是真命题,错误的是假命题。
有两层意思,首先命题是一个陈述句,而命令句、疑问句和感叹句都不是命题。
其次是说这个陈述句所表达的内容可决定是真还是假,而且不是真的就是假的,不能不真又不假,也不能又真又假。
凡与事实相符的陈述句为真语句,而与事实不符的陈述句为假语句。
这就是说,一个命题具有两种可能的取值(又称真值)为真或为假,又只能取其一。
通常用大写字母T表示真值为真,用F表示真值为假,有时也可分别用1和0表示它们。
因为只有两种取值,所以这样的命题逻辑称为二值逻辑。
我们把以这种非真必假的命题作为研究对象的逻辑称为古典逻辑,但也有人反对关于命题的这种观点,认为存在既不真也不假的命题,例如:直觉主义逻辑、多值逻辑等。