假言命题推理.ppt

1、假言命题推理,假言推理分两类： 混合假言题和纯粹假言推理。,混合假言推理 1、充分条件假言推理及其有效式 充分条件假言推理规则：肯定前件就要肯定后件，否定后件就要否定前件；否定前件不能否定后件，肯定后件不能肯定前件。,如： 如果天下雨，地就会湿。,肯定前件就要肯定后件 如果天下雨，地就会湿 天下雨了， 所以，地湿了。,否定后件就要否定前件 如果天下雨，地就会湿。 地没有湿， 所以，天没有下雨。,否定前件不能否定后件 如果天下雨，地就会湿。 天没有下雨 所以，地没有湿。（结论错误）,肯定后件不能肯定前件 如果天下雨，地就会湿 地湿了 所以，天下雨了。,充分条件假言推理的有效式 1、肯定前件式 如

2、果p,则q P 所以q (p q) p q,练习： 如果电灯亮了，就不会断路。 用肯定前件式推理,2、否定后件式 如果p，则q 非q 所以，非p (p q) q p,练习： 如果电灯亮了，就不会断路。 用肯定前件式推理,必要条件假言推理 其规则有二：否定前件就要否定后件，肯定后件就要肯定前件；肯定前件不能肯定后件，否定后件不能否定前件。,如：只有身体好，才能登上三清山。 否定前件就要否定后件 刘颖身体不好。 所以，刘颖不能登上三清山。,肯定后件就要肯定前件 只有身体好，才能登上三清山 刘颖登上了三清山， 所以，刘颖身体好。,必要条件假言推理的有效式 否定前件式 只有p,才q 非p 所以，非q

3、(p q) p q,肯定后件式 只有p,才q 非q 所以，非p (p q) q p,练习： 只有调查研究，才有发言权。,充要条件假言推理 其规则有二：肯定前件就要肯定后件，肯定后件就要肯定前件；否定前件就要否定后件，否定后件就要否定前件。,如：当且仅当能被2整除的数，则是偶数。 肯定前件就要肯定后件 8是被2整除的数， 所以，8是偶数。,肯定后件就要肯定前件 当且仅当能被2整除的数，则是偶数。 8是偶数， 所以，8是被2整除的数。,否定前件就要否定后件 当且仅当能被2整除的数，则是偶数。 7不能被2整除， 所以，7不是偶数。,否定后件就要否定前件 当且仅当能被2整除的数，则是偶数。 7不是偶数

4、 所以，7不能被2整除,充要条件假言推理有效式： 肯定前件式 当且仅当p,则q p 所以，q (p q) p q,肯定后件式 当且仅当p,则q p 所以，q (p q) q p,否定前件式 当且仅当p,则q 非 p 所以，非q (p q) p q,否定后件式 当且仅当p,则q 非q 所以，非p (p q) q p,纯假言推理 1、假言易位推理 （1）充分条件假言易位推理 其有效式： 如果p,则q 所以，非q,则非p. (p q) ( q p),如： 如果要办企业，就要有资金 所以，如果没有资金，就不能办企业。 练习：如果火车要跑到台北，就要有地铁。,2、必要条件假言易位推理 （1）充分条件假言

5、易位推理 其有效式： 只有p,才q 所以，如果q,则 p。 (p q) ( q p),如： 只有实事求是，才能避免主观片面性， 所以，如果要避免主观片面性，就要实事求是。 练习：只有练好“五会”，才能适应未来的教学工作。,3、充要条件假言易位推理 （1）充要条件假言易位推理 其有效式： 当且仅当p,则q;所以，当且仅当q,则p. 所以，如果q,则 p。 (p q) (q p),如： 当且仅当一个三角形是等边三角形，则它是等角三角形； 当且仅当一个三角形是等角三角形，则它是等边三角形。 练习： 当且仅当四边是平行四边形，它的两组对边分别平行 ；,假言联锁推理： 充分条件假言联锁推理 必要条件假言联锁推理 混合条件假言联锁推理,充分条件假言联锁推理 肯定式： 如果p,则q 如果q,则r 所以，如果p,则s。 (p q) (q r) ( p s ),如： 如果发烧，就会使代谢机能受到干扰， 如果代谢机能受到干扰，就会破坏肌体， 所以，如果发烧，就会破坏肌体。,充分条件假言联锁推理 否定式： 如果p,则q； 如果q,则r 所以，如果非p,则非s。 (p q) (q r) (