第四讲复合命题及推理.pptVIP

（2）必要条件假言推理 以必要条件假言命题为前提的推理。其规则有： 规则1：否定前件就要否定后件，肯定后件 就要肯定前件； 规则2：肯定前件不能确定后件，否定后件 不能确定前件。 即只能“否前；肯后” 3. 假言推理 根据规则，有两种有效推理形式： 否定前件式 只有努力学习，才能取得好的成绩； 小王学习不努力，所以不能取得好成绩。 肯定后件式： 　　只有努力学习，才能取得好的成绩； 小李学习成绩好，所以他一定努力了。 　　　都是一个假言前提加上一个直言前提，得出一个直言命题，所以亦称假言三段论。 12007/8 ① 否定前件式： p ? q ?p ??? ? ?q （2）必要条件假言推理 ② 肯定后件式： p ? q q ??? ? p 肯定前件式和否定后件式为无效推理形式。（14下004/9） 必要条件假言命题可以转化为充分条件假言命题： 前件是后件的必要条件，则后件是前件的充分条件。 例如： 只有阳光充足,庄稼才健康生长。 这等于说： 如果庄稼健康生长了，则说明阳光充足。 把两种假言命题推理统一起来看，抛开变项的前后位置，可以看到推理只能从肯定箭尾的变项到肯定箭头的变项，从否定箭头的变项到否定箭尾的变项进行。 （p→q）∧p → q （p→q）∧?q →?p （p←q）∧ q →p （p←q）∧?p →?q （3）充分必要条件假言推理： p ? q 显然：肯