新逻辑学概论——简单命题的推理.pptVIP

* * （） A （） （）（）（） S O P （）（）（） S I M S O P （） O （） （）（）（） S （） P M I P （）（）（） S I P * 四、三段论的有效形式 在256个可能式中，绝大多数是无效式，如：EEE式、OIO式等等。四个格共有24个有效式： 第一格：AAA （AAI） AII EAE （EAO） EIO 第二格：AEE （AEO） AOO EAE （EAO） EIO 第三格：AAI AII EAO EIO IAI OAO 第四格：AAI AEE （AEO） EAO EIO IAI 其中带括号的5个是弱式，即能得出全称结论却得出特称结论的式； 标有下划线的4个从两个全称前提推出了特称结论。 判定三段论的有效性通常用三段论的基本规则来逐一加以检验。 * * * S——P S——P S——P S——P ______ ______ ______ ______ M——S M——S S——M M——P P——M M——P P——M S——M 第一格 第二格 第三格 第四格 （1）小前提必肯定 （2）大前提必全称 （3）结论可为AEIO （1）必有一前提否定 （2）大前提必全称 （3）结论可为EO （1）小前提必肯定 （2）结论必特称 （3）结论可为IO （1）前提中不能有O （2）结论不能使A （3）若有一否定前提，则大前提必全称 （4）若小前提肯定，则结论必特称 （5）若大前提肯定，则结论必全称 （6）结论可为EIO AAA、(AAI) AI I、EAE (EAO)、EIO AEE、(AEO) AOO、EAE (EAO)、EIO AAI、AI I EAO、EIO IAI、OAO AAI、AEE (AEO)、EAO EIO、IAI 五、省略三段论 省略三段论指在语言表达中常常只说出其中的两个命题，而将第三个不言自明的命题略去不说。 省略大前提： 你也是人，你也会犯错误。（所有人都会犯错误） 省略小前提： 所有人都会犯错误，你也不例外。（你也是人） 省略结论： 所有人都会犯错误，你当然是人。（你也会犯错误） * * * 五、省略三段论 省略三段论还原的一般步骤： 第一步，确定被省略的命题是不是结论。 第二步，如果被省略的不是结论，就要确定未被省略的两个命题中哪个是结论。 第三步，确定了结论以后，就要判定被省略的前提是大前提还是小前提。 第四步，补充被省略的前提。 有些云南人不爱吃甜食。因此，有些爱吃辣椒的不爱吃甜食。 （所有云南人都爱吃辣椒） * * 本章小结 基本内容 对当关系推理、变形推理。 三段论的结构、格与式、三段论的基本规则。 重难点 变形推理。 判定三段论有效性的规则。 --进入-- 主讲：张丽 （云南大学滇池学院） 邮箱：zhangfali1985@163.com 电话第六章 简单命题推理 第一节 对当关系推理 * * 对当关系推理 1、反对关系的推理 ⑴ SAP├ ?SEP； ⑵ SEP├ ?SAP； 2、下反对关系的推理 ⑶ ? SIP├ SOP； ⑷ ? SOP├ SIP。 3、差等关系的推理 ⑸ SAP ├ SIP； ⑹ ? SIP├ ? SAP； ⑺ SEP ├ SOP； ⑻ ? SOP ├ ? SEP。 4、矛盾关系的推理 ⑼ SAP├┤? SOP； ⑽ SOP├┤? SAP;⑾ SEP├┤? SIP； ⑿ SIP ├┤? SEP。 * * 对当关系推理 SAP SAP├ ?SEP SAP├ SIP SAP├ ?SOP ?SAP├ SOP SEP SEP├ ?SAP SEP├ SOP SEP├ ?SIP ?SEP├ SIP SIP SIP├ ?SEP ?SIP├ SOP ?SIP├ ?SAP ?SIP├ SEP SOP SOP├ ?SAP ?SOP├ SIP ?SOP├ ?SEP ?SOP├ SAP * * 我们班有同学是文学爱好者。 所以， 并非我们班所有同学都不是文学爱好者。 并非我们班有同学是文学爱好者。 所以， 我们班有同学不是文学爱好者。 并非我们班所有同学都是文学爱好者。 我们班所有同学都不是文学爱好者。 * * 对当关系推理 判