假言命题推理.ppt

《假言命题推理.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

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

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

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

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

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

6、,则r所以，如果p,则s。(pq)∧(qr)∧(ps)∧∧如：如果发烧，就会使代谢机能受到干扰，如果代谢机能受到干扰，就会破坏肌体，所以，如果发烧，就会破坏肌体。充分条件假言联锁推理否定式：如果p,则q；如果q,则r所以，如果非p,则非s。(pq)∧(qr)∧(┑r┑p)如：如果发烧(p)，就会使代谢机能受到干扰(q)，如果代谢机能受到干扰(q)，就会破坏肌体(r)，所以，如果没有破坏肌体(非r)，就不会发烧(非p)。