逻辑学课件-传统谓词逻辑.pptVIP

* （二）换位法 1、换位法的规则 换位法是通过交换一个性质判断主、谓项 的位置， 从而推出一个新的性质的直接推理。它也同样有两条规则： 第一，主、谓互换质不变； 第二，在前提中不周延的在结论中也不得周延。 2、换位法的主要形式： SAP?PIS SEP?PES SIP ?PIS 注意：SOP不能换位。 * （三）换质位法 1、换质换位法的综合运用问题 2、注意： SIP不能先换质再换位 SOP不能先换位再换质 * 不欢而散的宴席 说话是一门学问，话说不好，有时会把事情办糟。星期天是陈雷的生日，他邀请了四位同班好友张三、李四、王五、赵六到家里作客。约好晚上7点钟，到了6点半来了三位，等了足足一个小时赵六仍迟迟不来。陈雷急了，自言自语地说：“你看，该来的不来！”张三听出话里有话，不高兴了：“怎么？该来的不来，那我是不该来的了！别自讨没趣，我还是走吧！”于是，他找了个借口走了。左等右等赵六还是没来，不仅他没来，还走掉了一位，陈雷又说：“唉！又走了一位，真是，不该走的走了！”这时，李四又嘀咕了：“什么？不该走的走了，没诚意请我呀！我也走吧！”他也溜之乎也。剩下的王五是陈雷最要好的朋友，他对陈雷说：“你以后说话要注意点，哪有这么说话的呢？‘该来的不来’，人家听着不对头，还不被气走？‘不该走的走了’，那人家更要走了！”陈雷解释说：“我又没说他们呀！”“噢，说我呀，我也走吧！”结果，生日宴会就这样不欢而散。 * 第四节 三段论推理 一、三段论推理概述 1、三段论推理的定义 三段论推理是借助于一个共同词项，将前提中的两个性质命题联结起来，从而推出一个新的性质命题的推理。 2、三段论推理的构成分析 （1）三段论推理的构成从命题的角度看，包括三个命题，分别被称作大前提、小前提、结论。 （2）三段论推理的构成从词项的角度看，包括三个词项，分别是小项、大项、中项。 * 例如： 凡科学都是有用的  凡社会科学都是科  所以，凡社会科学都是有用的 这是一个三段论推理，它只有三个不同的项，即“科学”、“有用的”和“社会科学”。 结论中的主项称为“小项”，上例中“社会科学”就是小项，通常用“S”表示。 结论中的谓项称为“大项”，上例中“用有的”就是大项，通常用“P”表示。 两个前提所共有而在结论中不出现的那个项称为“中项”，上例中“科学”就是中项，通常用“M”表示。  * 在三段论的两个前提中，包含大项的那个前提叫做大前提，上例中“凡科学都是有用的”是大前提。 在三段论的两个前提中，包含小项的那个前提叫做小前提，上例中“凡社会科学都是科学”是小前提。 其结构可刻画如下： M A P S A M ∴ S A P *  这个推理是否是一个三段论推理？ 鲁迅的著作不是一天能读完的 《狂人日记》是鲁迅的著作 ---------------------------------------------------- 所以，《狂人日记》不是一天能读完的 * 二、三段论推理的公理 1、三段论公理是三段论推理的依据，对理解三段论推理的有效或无效十分必要。 2、三段论推理的公理 说明：图（1）刻画的公理是：陈述了一类中全部对象具有某种属性时，一类中的每一对象必然有该属性。 图（2）刻画的公理是：陈述了一类中全部对象不具有某种属性时，一类中的每一对象必然不具有该属性。 S S P P M M （1） （2） * 三、三段