命题与真值
命题:能判断真假的陈述句为命题,判断结果唯一。
真值:命题可以取一个“值”,称为真值。真值只有“真”和“假”两种,分别用“T”(或“1”)和“F”(或“0”)表示。
数理逻辑研究的中心问题是推理,而推理的前提和结论都是命题。因而命题是推理的基本单位。
判断命题:陈述句——>真值是否唯一
(与人们是否知道无关;未来发生的仅有唯一真值的事也是命题;总之要客观存在唯一真值,但是真值无法确定)
悖论:悖论是表面上同一命题或推理中隐含着两个对立的结论,而这两个结论都能自圆其说。悖论的抽象公式就是:如果事件A发生,则推导出非A,非A发生则推导出A。“我正在说谎话”,不是命题。
真值不确定:x+5>3,属于命题变项,x和y给定时可以构成命题公式的一部分,但不是命题。
二义性陈述句:不属于悖论,不属于命题,设置一个规则,该规则可在每个二义性情况下指出哪一个分析树(或语法树)是正确的。这样的规则称作消除二义性规则(disambiguating rule)。
命题的分类
原子命题:简单陈述句构成的命题,不可再分。
复合命题:用逻辑联结词连接简单命题。
真命题:真值为真(1)的命题。
假命题:真值为假(0)的命题。
命题常项:陈述句且真值确定不变——>简单命题。
命题变项:陈述句且真值不确定——>不是命题。
命题符号化
小写字母表示。
命题联结词
否定式
1.定义 : 设 p \ p p为一个命题 , 复合命题非 p \ p p 称为 p \ p p的否定式 , 记为 ¬ p \lnot p ¬p; ¬ \lnot ¬成为否定联结词 ;
2.真值表 : ¬ p \lnot p ¬p为真 此时 p \ p p为假。
p \ p p | ¬ p \lnot p ¬p |
---|---|
0 | 1 |
1 | 0 |
合取式
1.定义 : 设 p , q \ p,q p,q为两个命题 , 复合命题“ p \ p p而且 q \ q q”称为 p , q \ p,q p,q的合取式 , 记为 p ∧ q p \lan