逻辑学课件02-2第三章重言式和重言式判定的方法.pptVIP

第三节 复合命题推理 复合命题推理是演绎推理，它是根据复合命题的逻辑性质进行推演(derivate)的。 一、联言推理 联言推理是根据联言命题的逻辑性质进行推演的复合命题推理，其前提或结论为联言命题。 联言命题的逻辑性质是联言肢同时为真，据此，联言推理有两种有效的推理形式：分解式和合成式。 ㈠分解式 联言推理分解式是从一个联言命题的真，推出该联言命题中的某个联言肢真的推理形式。 具有两个联言肢的分解式，其推理形式为： p并且q 或 p并且q 所以，p 所以，q 用符号表示：p∧q→ p 或 p∧q → q ? 分解式： 业精于勤而荒于嬉，所以，业精于勤。? 合成式： 建设物质文明是实现四化的需要，建设精神文明是实现四化的需要，所以，建设物质文明和精神文明是实现四化的需要。? 联言推理合成式是由各个联言肢的真，推出由这些联言肢组成的联言命题真的推理形式。 具有两个联言肢的合成式，其推理形式为： p q 所以，p并且q 用符号表示：(p,q)→（p∧q）） (意思是：如果有了p，又如果有了q ，就能推出p并且q ) ? 选言推理是前提中有一个选言命题，并根据选言命题的逻辑性质进行推演的复合命题推理。 选言命题有相容选言命题和不相容选言命题之分，相应地，选言推理也分为相容选言推理和不相容选言推理。 ㈠相容选言推理 相容选言命题的逻辑性质是选言肢至少有一真。据此，相容选言推理只有一种有效的推理形式：否定肯定式。其推理形式为： p或者q p或者q 非p 或 非q 所以，q 所以，p 用符号形式表示： （p∨q）∧? p →q 或 （p∨q）∧? q → p ? 该案的作案人或者甲，或者乙； 现已查明该案的作案人不是甲； 所以，该案的作案人是乙。 ? ? 该案的作案人或者是甲，或者是乙； 现已查明该案的作案人是甲； 所以，该案的作案人不是乙。 ? ? 相容选言推理的规则 ⑴否定一部分选言肢就要肯定另一部分选言肢。 ⑵肯定一部分选言肢不能否定另一部分选言肢。 ? ㈡不相容选言推理 不相容选言命题的逻辑性质是选言肢仅有一真，据此 ，不相容选言推理有两种有效的推理形式：肯定否定式和否定肯定式。 ⒈肯定否定式 其推理形式为： 要么p，要么q 要么p，要么q p 或 q 所以，非q 所以，非p 用符号形式表示： p∨q）∧p →? q 或（p∨q）∧q →? p ? 肯定否定式： 这个命题要么是简单命题，要么是复合命题； 已知这个命题是简单命题； 所以，这个命题不是复合命题。 ? 否定肯定式： 被告甲的行为要么是故意犯罪，要么是过失犯罪； 法庭查明被告甲的行为不是故意犯罪； 所以，被告甲的行为是过失犯罪。 ? ⒉否定肯定式 其推理形式为： 要么p，要么q 要么p，要么q 非p 或 非q 所以，q 所以，p 用符号形式表示： （p∨q）∧? p →q 或 （p∨q）∧? q →p ? 不相容选言推理的规则 ⑴肯定其中一个选言肢就要否定其他选言肢。 ⑵否定一部分选言肢就要肯定其中一个选言肢。 三、假言推理 假言推理就是前提中至少有一个是假言命题，并根据各种假言命题的逻辑性质进行推演的复合命题推理。 假言命题有三种类型，相应地，假言推理也有三种类型：充分条件假言推理、必要条件假言推理和充分必要条件假言推理。 ㈠充分条件假言推理 充分条件假言命题的逻辑性质揭示了其前后件之间的条件关系：有p必有q ；无q必无p。据此，充分条件假言推理有两种有效的推理形式：肯定前件式和否定后件式。 ⒈肯定前件式 其推理形式为： 如果p，那么q p 所以， q 用符号形式表示： （p→q）∧p → q ? 肯定前件式： 如果这份经济合同是有效的