【哲学】形式逻辑第五章ppt模版课件.pptVIP

公式： 如果p，那么q p→q * 充分条件假言命题的逻辑值 * 充分条件假言推理 充分条件假言推理的涵义与结构： 充分条件假言推理是以充分条件假言命题作为前提而构成的假言推理。 * 如果某人生了肺炎，那么就要发烧 某人生了肺炎 某人发烧了 公式：肯定前件式 * 如果某人生了肺炎，那么就要发烧 某人没有发烧 某人没有生肺炎 公式：否定后件式 * 充分条件假言推理规则 * 一、必要条件假言命题及其推理 必要条件假言命题 * 必要条件假言命题的涵义与结构： 必要条件假言命题是指前件是后件的必要条件的假言命题。 只有努力学习，才能取得好成绩。 * 公式： 只有p，才q p←q * 必要条件假言命题的逻辑值 * 必要条件假言推理 必要条件假言推理的涵义与结构： 必要条件假言推理是以必要条件假言命题作为前提而构成的假言推理。 * 只有水量合适，小麦才长得好 这块地的水量不合适 这块地的小麦长得不好 公式：否定前件式 * 只有水量合适，小麦才长得好 这块地的小麦长得好 这块地的水量合适 公式：肯定后件式 * 必要条件假言推理规则 * 一、充分必要条件假言命题及其推理 充分必要条件假言命题 * 充要条件假言命题的涵义与结构： 充要条件假言命题是指前件既是后件的必要条件又是后件的充分条件的假言命题。 当且仅当社会分裂为阶级时， 则国家才出现。 * 公式： 当且仅当p，则q p?q * 充要条件假言命题的逻辑值 * 充要条件假言推理 充要条件假言推理的涵义与结构： 充要条件假言推理是以充要条件假言命题作为前提而构成的假言推理。 * 公式：肯定前件式 公式：肯定后件式 公式：否定前件式 公式：否定后件式 * 充要条件假言推理规则 * * 复合命题是包含了其他命题的一种命题，一般说，它是由若干个（至少一个）简单命题通过一定的逻辑联结词组合而成的。 前提或结论包含复合命题并且依据复合命题的逻辑性质来进行推演的推理就是复合命题的推理。 * 第一节 联言命题及其推理 一、联言命题 联言命题的涵义与结构： 联言命题是断定事物的若 干种情况同时存在的命题。 * 既要数量多，又要质量好。 p而且q pΛq * 联言命题的逻辑值 你们是学生，并且海水是咸的。 自由固然不是钱所能买到的， 但能为钱所卖掉。 * 二、联言推理 联言推理的涵义： 前提或结论为联言命题，并且依据联言命题的逻辑性质来进行推演的推理就是联言推理。 * 联言推理的形式 分解式： 这是根据一个联言命题为真而推出其各联言肢为真。 * 业精于勤，荒于嬉 业精于勤 公式： pΛq p(q) * 组合式： 这是根据一个联言命题的各个联言肢为真而推出该联言命题为真。 * 成功要付出艰苦的劳动 成功要采取正确的方法 成功要付出艰苦的劳动，并且采取正确的方法 公式： p q r pΛqΛr * 第二节 选言命题及其推理 一、选言命题 选言命题是断定事物若干种可能情况的命题。 * 相容的选言命题 相容的选言命题的涵义与结构： 断定事物若干种可能情况中至少有一种情况存在的命题就是相容的选言命题。