文档介绍：推理复合判断的推理
现在学****的是第1页，共22页
联言推理思考题
有三张牌，已知有这样几个情况
⒈K右边的两张牌中至少有一张是A。
⒉A左边的件。 无效
否定后件不能肯定前件。
所以，有两个有效式：肯定前件式。否定后件式。
*
现在学****的是第11页，共22页
形式\注意
①肯定前件式：
形式： 符号：
如果p，则q p→q
p p
所以，q。 ∴q
规则：肯定前件，就要肯定后件。因前件存在，后件一定存在。
②否定后件式：
形式： 符号：
如果p，则q p→q
非p ┐p
所以，非q。 ∴ ┐q
否定后件就要否定前件。
注意：对一个充分条件假言判断来说，其后件是其前件的必要条件。
*
现在学****的是第12页，共22页
⒉必要条件假言判断
前提中有一个必要条件假言判断，并依其规律进行的推理。必要条件假言判断断定前、后件的关系是以下几种情况：
⑴无前件一定无后件。
⑵有前件未必有后件。
⑶有后件一定有前件。（简单记：无p一定无q）
⑷无后件未必无前件。 有q一定有p
规则：否定前件可以否定后件。
肯定前件不能肯定后件。（无效）
肯定后件可以肯定前件。
否定后件不能否定前件。（无效）
注意：必要条件的假言判断，前件是后件的必要条件，那么，
后件一定是前件的充分条件。
所以，有两个有效式：否定前件式和肯定后件式
*
现在学****的是第13页，共22页
两个有效式
①否定前件式：
形式： 符号：
只有p，才q p←q
非p ┐p
所以，非q。 ∴┐q
规则：否定前件就要否定后件。
②肯定后件式：
形式： 符号：
只有p，才q p←q
q q
所以， p。 ∴ p
规则：肯定后件，就要肯定前件。
*
现在学****的是第14页，共22页
两个无效式
形式
只有p，才q 只有p，才q
p 非p
所以， q 所以，非q
*
现在学****的是第15页，共22页
⒊充分必要条件假言判断
前提中有一个充要条件的假言判断，依其规律进行推理。充要条件判断断定前、后件的关系有以下几种情况：
⑴有前件必有后件。
⑵无前件必无后件。
⑶有后件必有前件。
⑷无后件必无前件。
规则：肯定前件可以肯定后件。
否定前件可以否定后件。
肯定后件可以肯定前件。
否定后件可以否定前件。
*
现在学****的是第16页，共22页
四个有效式 1&2
①肯定前件式：
形式： 符号：
当且仅当p，则q p←→q
p p
所以，q。 ∴ q
规则：肯定前件可以肯定后件。
②否定前件式
形式： 符号：
当且仅当p，则q p←→q
非p ┐p
所以，非q。 ∴ ┐q
规则：否定前件就要否定后件。
*
现在学****的是第17页，共22页
四个有效式 3&4
③肯定后件式
形式： 符号：
当且仅当p，则q p←→q
q q
所以，p。 ∴ p
规则：肯定后件就要肯定前件 。
④否定后件式
形式： 符号：
当且仅当p，则q p←→q
非p ┐p
所以，非q。 ∴ ┐q
规则：否定后件就要否定前件。
*
现在学****的是第18页，共22页
四、二难推理
是由两个假言判断和一个二支选言判断为前提的推理，有两种形式：简单构成式和简单破坏式。
①简单构成式：
形式： 符号：
如果p，那么r p→r
如果q，那么r q→r
p或者q p∨q
所以，r ∴r
特点:
⑴前提中两个假言判断的前件不同，后件相同。
⑵前提中选言判断的两个选言支分别肯定两个假言判断的前件。
⑶结论是一个直言判断，它肯定前提中两个假言判断的共同的后件。
*
现在学****的是第19页，共22页
简单破坏式
②