一、命题与联结词
1.什么是命题?
非真即假的陈述句称为命题。例如:3>2。
A. 先判断是否是陈述句。
B. 其次判断它是否有唯一的真值。
2.命题的值?
真或假。真值为真的命题称为真命题,真值为假的命题称为假命题。任何命题的真值都是唯一的。
3.简单命题或原子命题?
不能被分解成更简单的命题。在命题逻辑中,简单命题是最小的基本单位,对它不再细分。例如:3>2。
4.复合命题?
由简单命题通过联结词连结而成的命题。
5.悖论?
既不能真也不能假的陈述句称为悖论。悖论不是命题。
二难推理:课上举例:一个人说什么都能,问他能不能做一个自己搬不动的椅子。
法律逻辑:半费之讼:半费之讼:“如果我打赢官司,那么按法庭判决,被告应该付给我另一半学费;如果被告打赢了官司,那么按我们的合同,被告也应该付给我另一半学费。因而,不论这场官司是赢还是输,被告都应该付给我另一半学费。”
哥德尔的不完美系统:
罗素悖论:
理发师悖论:
二、复合命题
1.否定式,非(┐),否定联结词。非真为假,非假为真。
2.合取式,∧,合取联结词。必须两个都是真,结果才是真。有一个假,结果即为假。
3.析取式,∨,析取联结词。有一个真,结果就是真。
4.蕴含式,→,蕴含联结词。如p→q(等价于┐p∨q),p为条件,p为0时,q的结果与p无关,p为1时,q为1,p为假时,q为假。举例:p为天下雨,q为地面湿。P为0是,即天不下雨,地面可能湿可能干,所以q为1;天下雨时,地面湿为1,否则为假。
对应关系:
P | q | 结果 |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 1 |
5.等价式,↔,等价联结词。相当于同或。P、q值相等结果为1,否则为0。
Table 1 联结词的定义
p | q | ┐p | p∧q | p∨q | p→q | p↔q |
0 | 0 | 1 | 0 | 0 | 1 | 1 |
0 | 1 | 1 | 0 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 1 |
三、命题公式及其赋值
1.命题常项或命题常元?
简单命题。
2.命题变项或命题变元?
取值1或0的变元。
3.合式公式?
将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串。
也称为命题公式或公式。
4.赋值或解释?
对结果的赋值。例如p的赋值和q的赋值都是结果的赋值。其中是结果为1 的这组值为成真赋值,反之为成假赋值。
5.重言式或永真式?
若A在它的所有赋值下取值均为真。
6.矛盾式或永假式?
若A在它的所有赋值下取值均为假。
7.可满足式?
结果有真有假。