(命题逻辑的基本概念.docxVIP

　命题逻辑的基本概念 第一节 命题一、什么是命题　命题是一个非真即假（不可兼）的陈述句。有两层意思，首先命题是一个陈述句，而命令句、疑问句和感叹句都不是命题。其次是说这个陈述句所表达的内容可决定是真还是假，而且不是真的就是假的，不能不真又不假，也不能又真又假。凡与事实相符的陈述句为真语句，而与事实不符的陈述句为假语句。这就是说，一个命题具有两种可能的取值（又称真值）为真或为假，又只能取其一。通常用大写字母T表示真值为真，用F表示真值为假，有时也可分别用1和0表示它们。因为只有两种取值，所以这样的命题逻辑称为二值逻辑。我们把以这种非真必假的命题作为研究对象的逻辑称为古典逻辑，但也有人反对关于命题的这种观点，认为存在既不真也不假的命题，例如：直觉主义逻辑、多值逻辑等。 举例　举例说明命题概念：　1. 雪是白的。是一个陈述句，可决定真值，显然其真值为真，或说为T，所以是一个命题。　2. 雪是黑的。是一个陈述句，可决定真值，显然其真值为假，或说为F，所以是一个命题。　3. 好大的雪啊！不是陈述句，不是命题。　4. 一个偶数可表示成两个素数之和（哥德巴赫猜想）。是命题，或为真或为假，只不过当今尚不知其是真命题还是假命题。　5. 1+101=110。这是一个数学表达式，相当于一个陈述句，可以叙述为1加101等110，这个句子所表达的内容在十进制范围中真值为假，而在二进制范围中真值为真。可见这个