数理逻辑 Mathematical Logic.docVIP

2.数理逻辑 Mathematical Logic命题逻辑proposition logical 2.1.1命题和命题联结词 2.1.1.1命题statement： 可以判断真假的陈述. (1) 地球是圆的。p (2) 2+3=5. q (3) 你说英语吗？ (4) 3-X=5. (5) 吃两片阿斯匹林！ (6) 土星表面温度是华氏800度。r (7) 明天会出太阳。s 可以用符号表示命题: p,q,r,s,t 分别表示命题 （1）（2）（6）（7）。 2.1.2复合命题 compound statement: 用逻辑连接词可以将若干命题联接成复合命题。 (1) 地球是圆的并且2+3=5. p∧q (2) 土星表面温度不是华氏800度。~r (3) 因为地球是圆的，所以明天会出太阳。p→s (4) 明天不会出太阳，除非2+3=5。即，明天不会出太阳或2+3=5。 ~s∨q （5）明天出太阳，只要2+3=5。 q→s (6) 明天出太阳，仅当2+3=5。 s→q 2.1.1.3条件命题conditional statements p→q implication p 前提antecedent, hypothesis. q 结论c