普通逻辑复合命题推理.pptVIP

二、有效推理与正确推理逻辑研究推理的中心任务**逻辑以推理为研究中心，逻辑研究推理的中心任务是：保证演绎推理形式的有效性，提高归纳推理结论的可靠性程度。2、演绎推理形式的有效性**126543在一个演绎推理中，当所有的前提为真时，其结论必然为真，这样的演绎推理其推理形式是有效的；否则便是无效的。推理的有效性，指的就是推理形式的有效或是无效，它只与推理形式有关，而与推理前提的内容的真或假是无关的。123456正确推理的两个条件：前提真实形式有效下列推理有效吗？正确吗？如果乔丹是美国总统，那么乔丹是美国领导人；乔丹不是美国总统；所以，乔丹不是美国领导人。所有的树都是有思想的；所有的杨树都是树；所以，所有的杨树都是有思想的。三、命题推理及其特征1、命题推理现代逻辑对推理的考察将演绎推理以其逻辑结构及性质的不同区分为如下两种推理：命题推理谓词推理命题推理是以复合命题为前提或结论，以命题形式的逻辑性质为根据进行推演的推理。两种不同类型的推理**[推理1]如果天下雨，那么地上湿；如果p，那么q；天下着雨；p；----------------------------------所以，地上湿。所以，q。[推理2]所有的人都是要死的，所有的M都是P，苏格拉底是人，S是M，------------------------------------所以，苏格拉底是要死的。所以，S是P。2、命题推理的特征**前提或结论中出现复合命题；推理依据是命题之间的逻辑关系；推理形式是仅包含命题变项和联结词的真值形式。第二节命题推理的基本形式及规则命题推理的种类命题推理以其推理的逻辑根据不同可分为五种基本推理：合取命题推理(联言命题推理）析取命题推理（选言命题推理）蕴涵命题推理（假言命题推理）等值命题推理负命题推理二、五种命题推理的基本形式及规则（一）合取命题推理1、推理形式合成式：p分解式：qp?q?p?q?p2、推理规则（1）肯定若干个支命题，就能肯定这些支命题构成的合取式。（2）肯定一个合取式，就能肯定其中任意的合取支命题。(二）析取命题推理1、推理形式引入式：消去式：无效式：pp?qp?q?p?q?pp?q∴?q2、推理规则（1）肯定一个支命题，就能肯定该支命题与任意支命题构成的析取式。（2）否定一部分支命题，就能肯定剩下的支命题。（3）肯定一部分支命题，则不能否定剩余的支命题。3.相容析取命题推理与不相容析取命题推理的比较分析析取推理实例：航天号飞机的失事或是由于设备故障，或是由于人为破坏；已查明失事原因确系设备故障。因此，可以排除人为破坏。以下哪项正确地评价了上述命题推理？确，是不相容析取命题推理的肯定否定式。确，是相容析取命题推理的否定肯定式。误，是不相析取命题推理的否定肯定式。误，是相容析取命题推理的肯定否定式。不相容选言推理

有效式：①否定肯定式要么p，要么q要么p，要么q?