[高等教育]第二章命题逻辑2.pptVIP

第四节 复合命题推理的有效式 一、推理的有效性 1. 什么是推理？ 2、推理的有效性的含义 作为推理的组成部分的前提与结论之间是否有逻辑上的必然联系，前提是否蕴涵结论，前提为真是否能够推出结论必然为真。 3、有效推理的条件 观点： 推理的有效性依赖于前提或结论是否为真 （1）前提为真的推理，就是有效的推理。 （2）前提、结论都真的推理，就是有效的推理。 例： 如果赵本山是国家主席，则他是国家领导人； 赵本山不是国家主席， 所以，赵本山不是国家领导人。 所有的巧克力都是可以吃的， 所有石头都不是巧克力， 所以，所有的石头都不是可以吃的。 一个推理是否有效取决于它的推理形式是否为有效式。 例： 有的青年人不是律师， 所以，有的律师不是青年人。 思考： 有效推理的结论是否必真？ 前提 推理形式 结论 真 有效 真 真 无效 不定 假 有效 不定 假 无效 不定 前提 推理形式 结论 真 有效 真 真 无效 不定 假 有效 不定 假 无效 不定 分 析 有法学者说：“前提是整个演绎推理有效与否的生命线，如果前提成立则整个论断成立，否则则相反。” “传统逻辑遭遇批判的主要方面在于逻辑学无法证明前提是有效的……”。 有效与重言 在现代逻辑中，一个复合命题的推理形式可以表达为蕴涵式。 一个复合命题推理是有效的，当且仅当，其推理蕴涵式为重言式 。 4、推理的种类 （1）演绎推理、归纳推理、类比推理。 （2）必然性推理和或然性推理。 （3）简单命题推理和复合命题推理。 （4）直接推理和间接推理。 二、双重否定推理 1、定义 2、推理有效式 （1）双否销去式： ??p → p （2）双否引入式： p→? ?p 注意 ? ?p→p，并且p→? ?p，所以p ? ? ?p。 某同学甲并非既精通英语又精通日语。 问 ：如果上述命题为真，那么下列哪项命题必定为真？ A．某甲精通英语，但不精通日语。 B．某甲精通日语，但不精通英语。 C．某甲既不精通英语，也不精通日语。 D．如果某甲精通英语，他就一定不精通日语。 E．如果某甲不精通日语，他就一定精通英语。 三、联言推理 1、定义 2、推理有效式 （1）分解式 p?q→p p?q→q （2）合成式 p?q→p?q 四、选言推理 1、定义 2、推理有效式 （1）否定肯定式 (p?q) ??p→q (p?q) ??q→p 选言推理有效式 （2）附加式 P → P∨q q →P∨q 从甲、乙、丙、丁、戊、己6个人中选出3个人组成一个辩论赛队。已知： （1）甲、丙两人中至少要选上一个。 （2）乙、戊两人中至少要选上一个。 （3）丙、戊两人中每一个人都绝对不能与乙同时入选。 问：根据上述条件，如果戊未被选上，则以下哪两人一定同时入选？ A．甲、己。 B．乙、丁。 C．乙、己。 D．甲、丁。 E．甲、乙。 五、假言推理 1、定义 2、推理有效式 （1）肯定前件式 (p→q) ?p→q （2）否定后件式 (p→q) ??q→?p 明谢肇浙编的《五杂俎》中一个故事： 宋叶衡罢相归，日与布衣饮甚欢，一日不怡，问诸客曰：“某且死，但未知死后佳否？”一姓金士人曰：“甚佳。”叶惊问曰：“何以知之？”士人曰：“使死而不佳，死者皆逃归矣。一死不返，是以知甚佳矣。”满座皆笑。 1、如果某甲是盗窃犯则某甲应受到法律制裁，而某甲不是盗窃犯，所以，某甲不应该受到法律制