文档介绍：第四节 假言命题及其推理
一、假言命题
（一）什么是假言命题
（二）假言命题的逻辑性质
二、假言推理
（一）充分条件假言推理
（二）必要条件假言推理
（三）充要条件假言推理
（四）其它常见的关于联结词的推理
第四节 假言命题及其推理
一、假言命题
假言命题也称为条件命题，是由“如果，那么”、“只有，才”、“当且仅当”等联结词联结两个支命题而形成的复合命题。
（1）如果寒潮到来，气温就会下降。
（2）只有你去，我才放心。
（3）线段a和b平行，当且仅当它们的同位角相等。
充分条件(sufficient condition)：
有之(p)必然(q)——p 出现，q就出现。
必要条件(necessary condition):
无之(p)必不然(q)——p不出现，q就不出现。
充要条件(sufficient and necessary condition)：
p既是q的充分条件又是q的必要条件。
⒈充分条件假言命题
⒉必要条件假言命题
⒊充分必要条件假言命题
第四节 假言命题及其推理
一、假言命题
1．充分条件假言命题
充分条件假言命题是用“如果，那么”等联结词联结两个支命题形成的假言命题。
第四节 假言命题及其推理
1．充分条件假言命题
联结词：
如果，那么； 只要，就；若，则；倘若，则；假如，就；一旦，就；…。
支命题：
前、后件。
第四节 假言命题及其推理
1．充分条件假言命题
充分条件假言命题形式：
如果p，那么q。
形式语言中，以（实质）蕴涵式p→q表示。
→称为（实质）蕴涵词。
第四节 假言命题及其推理
充分条件假言命题的逻辑性质
如果p是q的充分条件，那么，有p就有q，就不会出现有p而无q的情况。
如果充分条件假言命题是真的，就不会出现前件真而后件假的情况。
第四节 假言命题及其推理
充分条件假言命题的逻辑性质
→ 的真值表
p
q
p → q
T
T
T
T
F
F
F
T
T
F
F
T
如果老李赢了这盘棋，那么老李就赢得了整场比赛。
第四节 假言命题及其推理
一、假言命题
2．必要条件假言命题
必要条件假言命题是用“只有，才”，“除非，不”等联结两个支命题形成的假言命题。
(1)只有由细菌引起的疾病，才能用抗生素治疗。
(2)我不去，除非你去。