假言命题推理.pptVIP

假言命题推理 如： 只有实事求是，才能避免主观片面性， 所以，如果要避免主观片面性，就要实事求是。 练习：只有练好“五会”，才能适应未来的教学工作。 3、充要条件假言易位推理 （1）充要条件假言易位推理 其有效式： 当且仅当p,则q;所以，当且仅当q,则p. 所以，如果q,则 p。 (p q) (q p) 如： 当且仅当一个三角形是等边三角形，则它是等角三角形； 当且仅当一个三角形是等角三角形，则它是等边三角形。 练习： 当且仅当四边是平行四边形，它的两组对边分别平行 ； 假言联锁推理： 充分条件假言联锁推理 必要条件假言联锁推理 混合条件假言联锁推理 充分条件假言联锁推理 肯定式： 如果p,则q 如果q,则r 所以，如果p,则s。 (p q) ∧ (q r) ∧ ( p s ) ∧ ∧ * * 假言推理分两类： 混合假言题和纯粹假言推理。 混合假言推理 1、充分条件假言推理及其有效式 充分条件假言推理规则：肯定前件就要肯定后件，否定后件就要否定前件；否定前件不能否定后件，肯定后件不能肯定前件。 如： 如果天下雨，地就会湿。 肯定前件就要肯定后件 如果天下雨，地就会湿 天下雨了， 所以，地湿了。 否定后件就要否定前件 如果天下雨，地就会湿。 地没有湿， 所以，天没有下雨。 否定前件不能否定后件 如果天下雨，地就会湿。 天没有下雨 所以，地没有湿。（结论错误） 肯定后件不能肯定前件 如果天下雨，地就会湿 地湿了 所以，天下雨了。 充分条件假言推理的有效式 1、肯定前件式 如果p,则q P 所以q (p q) ∧p q 练习： 如果电灯亮了，就不会断路。 用肯定前件式推理 2、否定后件式 如果p，则q 非q 所以，非p (p q) ∧ ┑q ┑p 练习： 如果电灯亮了，就不会断路。 用肯定前件式推理 必要条件假言推理 其规则有二：否定前件就要否定后件，肯定后件就要肯定前件；肯定前件不能肯定后件，否定后件不能否定前件。 如：只有身体好，才能登上三清山。 否定前件就要否定后件 刘颖身体不好。 所以，刘颖不能登上三清山。 肯定后件就要肯定前件 只有身体好，才能登上三清山 刘颖登上了三清山， 所以，刘颖身体好。 必要条件假言推理的有效式 否定前件式 只有p,才q 非p 所以，非q (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不是偶数 所以，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) 如： 如果要办企业，就要有资金 所以，如果没有资金，就不能办企