普通逻辑复合命题推理1-1

《普通逻辑复合命题推理1-1》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、命题推理教学重点与要点推理及其种类有效推理与正确推理命题推理及其特征蕴涵析取推理及其应用10/5/20211命题推理的合逻辑性考察推理命题推理（形式考察）推理有效推理（标准认知）推理正确推理（日常应用考察）10/5/20212第一节推理概述一、什么是推理1、推理的定义推理是由一个或一些已知命题推出新命题的句群。2、推理的组成推理是一个命题序列，由前提、结论、推理依据（其往往通过前提与结论联系的方式即推理形式表现出来）三部分组成。3、推理的自然语言表达与逻辑表达4、推理的种类：演绎推理归纳推理10/5/20213(1)我们的干部要有德，我们的干部要有才，所以，我们的干部要德才兼备。(

2、2)所有的教条主义者都是脱离实际的人，所有脱离实际的人不是实事求是的人，所以，所有实事求是的人都不是教条主义者。10/5/20214二、有效推理与正确推理1、逻辑研究推理的中心任务逻辑以推理为研究中心，逻辑研究推理的中心任务是：保证演绎推理形式的有效性，提高归纳推理结论的可靠性程度。10/5/202152、演绎推理形式的有效性在一个演绎推理中，当所有的前提为真时，其结论必然为真，这样的演绎推理其推理形式是有效的；否则便是无效的。推理的有效性，指的就是推理形式的有效或是无效，它只与推理形式有关，而与推理前提的内容的真或假是无关的。10/5/202163、正确推理的两个条件：（1）前提真实（

3、2）形式有效10/5/20217下列推理有效吗？正确吗？（1）如果乔丹是美国总统，那么乔丹是美国领导人；乔丹不是美国总统；所以，乔丹不是美国领导人。（2）所有的树都是有思想的；所有的杨树都是树；所以，所有的杨树都是有思想的。10/5/20218三、命题推理及其特征1、命题推理现代逻辑对推理的考察将演绎推理以其逻辑结构及性质的不同区分为如下两种推理：命题推理谓词推理命题推理是以复合命题为前提或结论，以命题形式的逻辑性质为根据进行推演的推理。10/5/20219两种不同类型的推理[推理1]如果天下雨，那么地上湿；如果p，那么q；天下着雨；p；-------------------------

4、---------所以，地上湿。所以，q。[推理2]所有的人都是要死的，所有的M都是P，苏格拉底是人，S是M，------------------------------------所以，苏格拉底是要死的。所以，S是P。10/5/2021102、命题推理的特征（1）前提或结论中出现复合命题；（2）推理依据是命题之间的逻辑关系；（3）推理形式是仅包含命题变项和联结词的真值形式。10/5/202111第二节命题推理的基本形式及规则一、命题推理的种类命题推理以其推理的逻辑根据不同可分为五种基本推理：1、合取命题推理(联言命题推理）2、析取命题推理（选言命题推理）3、蕴涵命题推理（假言命题推理）

5、4、等值命题推理5、负命题推理10/5/202112二、五种命题推理的基本形式及规则（一）合取命题推理1、推理形式合成式：p分解式：qpqpqp2、推理规则（1）肯定若干个支命题，就能肯定这些支命题构成的合取式。（2）肯定一个合取式，就能肯定其中任意的合取支命题。10/5/202113(二）析取命题推理1、推理形式引入式：消去式：无效式：ppqpqpqppq∴¬q2、推理规则（1）肯定一个支命题，就能肯定该支命题与任意支命题构成的析取式。（2）否定一部分支命题，就能肯定剩下的支命题。（3）肯定一部分支命题，则不能否定剩余的支命题。3.相容析取命题推理与不相容析取命题推

6、理的比较分析10/5/202114析取推理实例：航天号飞机的失事或是由于设备故障，或是由于人为破坏；已查明失事原因确系设备故障。因此，可以排除人为破坏。以下哪项正确地评价了上述命题推理？A．推理正确，是不相容析取命题推理的肯定否定式。B．推理正确，是相容析取命题推理的否定肯定式。C．推理错误，是不相析取命题推理的否定肯定式。D．推理错误，是相容析取命题推理的肯定否定式。10/5/202115不相容选言推理有效式：①否定肯定式要么p，要么q要么p，要么qpqqp②肯定否定式要么p，要么q要么p，要么qpqqp10/5/202116(三）蕴涵命题推理1、推理形式肯定前件式：否定后件式

7、：无效式：pqpqpqpqPqpqqp∴q∴p2、推理规则（1）肯定前件，就可以肯定后件。（2）否定前件，则不可以否定后件。（3）否定后件，就可以否定前件。（4）肯定后件，则不可以肯定前件。10/5/202117如果风很大，我们就会放飞风筝。　　如果天空不晴朗，我们就不会放飞风筝。　　如果天气很暖和，我们就会放飞风筝。　　假定上面的陈述属实，如果我们现在正在放飞风筝，则下面的哪项也必定是真的?Ⅰ.风很