第三章命题逻辑[下].ppt

第三章命题 逻辑（下）;第一节 复合命题推理;;二、联言推理 1、联言推理的含义： 联言推理就是前提或结论为联言命题的推理。 例如： 人无完人，金无足赤， 所以，人无完人。 ;（2）联言推理的种类。 A、分解式 分解式是前提为联言命题的联言推理。 分解式的一般逻辑形式是： 　P并且q p∧q 　所以，P ∴p 　或者是： or 　P并且q P∧q 　所以，q ∴ q ;例如： 我们的干部要德才兼备 。 所以，我们的干部要有才。 船钱和船上的饭钱都包括在船票钱里。 所以，船上的饭钱包括在船票钱里。;B、组合式 组合式是结论为联言命题的联言推理。根据联言命题的逻辑性质，一个联言命题的全部支命题真时，该联言命题才真。 一般逻辑形式是： 也可用符号表示为： 　P p 　q q 所以， p并且q ∴ p∧q ;;三、选言推理 选言推理是前提中包含一个选言命题，并依据该选言命题的逻辑性质进行推演的推理。 1、相容的选言推理 前提中有一个相容选言命题的选言推理。 推理规则—— 否定一部分选言支，就要肯定另一部分选言支； 肯定一部分选言支，不能否定另一部分选言支。 ;推理形式—— 否定肯定式 符号表示为： p或者q p∨q 　非p ┐p 　所以，q ∴q 　　 　 ;例如： 一个推理有错误或是由于前提不真实，或是由于推 理形式不正确。 这个推理有错误不是由于前提不真实 所以，这个推理有错误是由于推理形式不正确。 ;2、不相容的选言推理 即前提中有一个不相容选言命题的选言推理。 推理规则—— 否定除一个以外的子命题，就能肯定那个未被否定的子命题； 肯定一个选言支，就要否定其余所有选言支。 ;推理形式—— ①否定肯定式： 可用符号表示为： 　要么p，要么q p∨·q 　非p ┐p 　所以，q ∴q ② 肯定否定式： 用符号表示为： 要么p，要么q p∨· q 　 p p 　所以，非q。 ∴ ┐ q 　 　;;; 老师：你的作业怎么又是你爸爸替你做的？ 学生：我本来不想让他再替我做，可妈妈总是忙得脱不开身。 病人对医生说：“你真会赚钱，只用三秒钟就赚了三千美元。” 医生回答说：“如果您愿意的话，我可以按慢动作给你拔。” 区分相容或不相容？;买邮票 莎莎替爸爸到邮局买邮票，不知如何称呼柜台里的小姐，想到人们常称呼爸爸“老板”，就说：“老板，我买邮票。” 柜台里的小姐听了不是滋味，便说：“我不是老板，以后别再这么喊，好吗？” 莎莎听了点了点头，表示知道了。过了几天，她又来买邮票，只听她对柜台里的小姐说：“老板娘，我买邮票。”;当然你得头奖 年终评奖即将开始了，小魏想摸摸车间主任的“底”，便问：“车间主任，这次评奖，你看我们小组谁能得头奖？” “当然你得头奖罗。” “怎么当然我得头奖？” “你们小组共九个人，你来反映赵、钱、孙、李、周、吴、王、陈八个同志都不好，当然只有你能得头奖了！” 小魏哑然。;为什么迟到 老师：“尼古拉，你为什么迟到？” 尼古拉：“我妈病了，我得上药房呀。” 老师：“那你呢，雷米？你为啥迟到？” 雷米：“我的表慢了。” 老师：“那赛尔瑞，你呢？” 赛尔瑞：“我头痛。” 老师：“安托尼，你干吗哭？” 安托尼：“理由都让他们讲完了，我没有啥可说了…“ ;;四、假言推理 指前提中包含假言命题并按照假言命题的逻辑性质进行的推理。 如： 如果罪犯已满14周岁但未满18周岁，那么可从轻处罚。 这个罪犯以满14周岁但未满18周岁。 所以，这个罪犯可以从轻处罚。;（一）充分条件假言推理（肯前否后） 即前提中有一个是充分条件假言命题的假言推理。 推理规则—— 肯定前件就要肯定后件，否定后件就要否定前件；