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

（2）必要条件假言推理 以必要条件假言命题为前提的推理。其规则有： 规则1：否定前件就要否定后件，肯定后件 就要肯定前件； 规则2：肯定前件不能确定后件，否定后件 不能确定前件。 即只能“否前；肯后” 3. 假言推理 根据规则，有两种有效推理形式： 否定前件式 　只有努力学习，才能取得好的成绩； 小王学习不努力，所以不能取得好成绩。 肯定后件式： 　　只有努力学习，才能取得好的成绩； 小李学习成绩好，所以他一定努力了。 　　　都是一个假言前提加上一个直言前提，得出一个直言命题，所以亦称假言三段论。 (12007/8) ① 否定前件式： p ? q ?p ??? ? ?q （2）必要条件假言推理 ② 肯定后件式： p ? q q ??? ? p 肯定前件式和否定后件式为无效推理形式。（14下004/9） 必要条件假言命题可以转化为充分条件假言命题： 前件是后件的必要条件，则后件是前件的充分条件。