数理逻辑是以数学的方法研究推理的形式结构和教学讲义.ppt

数理逻辑是以数学的方法研究推理的形式结构和规律的数学学科; 这种陈述句的判断只有两种可能，一种是正确的判断，一种是错误的判断。如果某个陈述句的判断为真（与人们公认的客观事实相符），则我们称其为一真命题，并说此命题的真值为真，否则称为假命题，并说此命题的真值为假。 ;【例1.1.1】 下述各句均为命题： （1）4是偶数。 （2）煤是白色的。 （3）《几何原本》的作者是欧几里德。 （4）2190年人类将移居火星。 （5）地球外也有生命存在。 ; 上述命题中（1）、（3）是真命题，（2）是假命题，其中的（3）可能有人说不出它的真假，但客观上能判断真假。（4）的结果目前谁也不知道，但到了时候则真假可辨，即其真值是客观存在的，因而是命题。同样，（5）的真值也是客观存在的，只是我们地球人尚不知道而已，随着科学技术的发展，其真值是可以知道的???因而也是命题。 ; 【例1.1.2】 下列语句不是命题： （1）你好吗？ （2）好棒啊！ （3）请勿吸烟。 （4）x＞3。 （5）我正在说谎。 （1）、（2）、（3）均不是陈述句，因而不是命题。（4）是陈述句，但它的真假取决于变量x的取值，例如取x为4时其值为真，取x为2时其值为假