《逻辑学基础教程》课件_5第五章 复合命题及其推理（上）.pptxVIP

第五章复合命题及其推理（上）;第一节复合命题和命题联结;一、什么是复合命题;复合命题的结构：肢命题＋逻辑联结词

肢命题：被复合命题包含的命题。

肢命题可以用命题变元p、q、r表示，是复合命题的变项。

逻辑联结词：将肢命题联结起来构成复合命题的语词，也称命题联结词，简称联结词。

复合命题的逻辑常项，是区分不同种类复合命题的唯一依据。

;二、命题联结词;三、什么是复合推理;第二节联言命题及其有效推理;一、联言命题及其逻辑形式;联言命题的结构：联言支＋合取词;二、联言命题的逻辑性质及其真值表;联言命题的真值表;联言命题的真值表;注意;三、联言推理的有效形式;二、联言推理;第三节选言命题及其有效推理;一、选言命题及其种类;二、相容选言命题及其有效推理形式;只要断定的可能情况中至少有一种情况存在，不排除其他情况存在，即至少一个选言支是真的，整个选言命题就是真的，只有全部选言支都为假时，相容选言命题才为假。

可以从真值方面将析取∨定义为：p∨q为真当且仅当p和q至少有一真;p;（二）相容选言推理的有效形式;

【例】这种商品之所以滞销，或者是因为质量不好，或者是因为质量不好，或者是因为价格太高；经过对比分析，这种商品质量很好；所以，它滞销的原因就是价格太高。

容选言推理的规则：

1.在前提中否定部分选言支，就要在结论中肯定其余选言支（就两支的选言前提而言）或其余选言支的析取（就多于两支的选言前提而言）

2.在前提中肯定部分选言支，在结论中不能对其余选言支有所断定。

;三、不相容选言命题及其有效推理形式;不相容选言命题的逻辑特性;p;（二）不相容选言推理的有效式;1.否定肯定式

推理形式p∨q

～p

q

【例】要么甲是罪犯，要么乙是罪犯

甲不是罪犯

所以，乙是罪犯

;2.肯定否定式

推理形式p∨q

p

～q

或

p∨q

p

～q

;【例】小张现在不是在北京，就是在???州

小张现在是在北京

所以，小张现在不在广州

不相容选言推理的两条规则：

肯定一个选言支，就要否定其他的选言支；

否定一部分选言支，就要肯定剩下的选言支。;第四节假言命题及其有效推理;一、假言命题及其种类;——前件：断定条件的支命题

——后件：断定依赖条件而成立的对象情况的支命题

假言命题的命题联结词有三种，分别反映三种不同的条件关系：充分条件、必要条件和充分必要条件。

假言命题分为三类：充分条件假言命题、必要条件假言命题和充分必要条件假言命题。

;一、充分条件假言命题及其推理;;充分条件假言命题的真值表;只有当其前件真而后件假时，充分条件假言命题才是假的。

据此，蕴涵词“→”可定义为：p→q是真的当且仅当并非p真而q假;注意;（二）充分条件假言推理的有效式;2.否定后件式

推理形式：p→q

～q

～p

【例】如果小王患了肺炎，那么他的体温就会不正常地升高；经过医生检查，小王的体温正常；所以小王没有患肺炎。

;注意;（三）关于“蕴涵怪论”;二、必要条件假言命题及其有效推理形式;联结词：“逆蕴涵”，记作“←”

对应的自然语词：“只有……才”、“必须……才”、“如果不……那么就不”等

用p和q分别表示前件和后件，必要条件假言命题的逻辑形式为：p←q（读作“p逆蕴涵q”），表示“只有p，才q”，也可写作：～p→～q或者q→p。

;必要条件假言命题的逻辑特性;必要条件假言命题的真值表;（二）必要条件假言推理的有效形式;2.肯定后件式

推理形式：p←q

q

p

【例】只有肥料充足，庄稼才能长得好；庄稼长得很好；所以，肥料肯定很充足。;注意;四、充分必要条件假言命题及其有效推理形式;联结词：“等值于”，记作“?”

对应的自然语词：“当且仅当……则”、“如果且只有……才”、“如果……那么……；并且如果不……那么不……