假言命題推理.ppt

1、假言命題推理,假言推理分兩類： 混合假言題和純粹假言推理。,混合假言推理 1、充分條件假言推理及其有效式 充分條件假言推理規(guī)則：肯定前件就要肯定后件，否定后件就要否定前件；否定前件不能否定后件，肯定后件不能肯定前件。,如： 如果天下雨，地就會濕。,肯定前件就要肯定后件 如果天下雨，地就會濕 天下雨了， 所以，地濕了。,否定后件就要否定前件 如果天下雨，地就會濕。 地沒有濕， 所以，天沒有下雨。,否定前件不能否定后件 如果天下雨，地就會濕。 天沒有下雨 所以，地沒有濕。（結(jié)論錯(cuò)誤）,肯定后件不能肯定前件 如果天下雨，地就會濕 地濕了 所以，天下雨了。,充分條件假言推理的有效式 1、肯定前件式 如

2、果p,則q P 所以q (p q) p q,練習(xí)： 如果電燈亮了，就不會斷路。 用肯定前件式推理,2、否定后件式 如果p，則q 非q 所以，非p (p q) q p,練習(xí)： 如果電燈亮了，就不會斷路。 用肯定前件式推理,必要條件假言推理 其規(guī)則有二：否定前件就要否定后件，肯定后件就要肯定前件；肯定前件不能肯定后件，否定后件不能否定前件。,如：只有身體好，才能登上三清山。 否定前件就要否定后件 劉穎身體不好。 所以，劉穎不能登上三清山。,肯定后件就要肯定前件 只有身體好，才能登上三清山 劉穎登上了三清山， 所以，劉穎身體好。,必要條件假言推理的有效式 否定前件式 只有p,才q 非p 所以，非q

3、(p q) p q,肯定后件式 只有p,才q 非q 所以，非p (p q) q p,練習(xí)： 只有調(diào)查研究，才有發(fā)言權(quán)。,充要條件假言推理 其規(guī)則有二：肯定前件就要肯定后件，肯定后件就要肯定前件；否定前件就要否定后件，否定后件就要否定前件。,如：當(dāng)且僅當(dāng)能被2整除的數(shù)，則是偶數(shù)。 肯定前件就要肯定后件 8是被2整除的數(shù)， 所以，8是偶數(shù)。,肯定后件就要肯定前件 當(dāng)且僅當(dāng)能被2整除的數(shù)，則是偶數(shù)。 8是偶數(shù)， 所以，8是被2整除的數(shù)。,否定前件就要否定后件 當(dāng)且僅當(dāng)能被2整除的數(shù)，則是偶數(shù)。 7不能被2整除， 所以，7不是偶數(shù)。,否定后件就要否定前件 當(dāng)且僅當(dāng)能被2整除的數(shù)，則是偶數(shù)。 7不是偶數(shù)

4、 所以，7不能被2整除,充要條件假言推理有效式： 肯定前件式 當(dāng)且僅當(dāng)p,則q p 所以，q (p q) p q,肯定后件式 當(dāng)且僅當(dāng)p,則q p 所以，q (p q) q p,否定前件式 當(dāng)且僅當(dāng)p,則q 非 p 所以，非q (p q) p q,否定后件式 當(dāng)且僅當(dāng)p,則q 非q 所以，非p (p q) q p,純假言推理 1、假言易位推理 （1）充分條件假言易位推理 其有效式： 如果p,則q 所以，非q,則非p. (p q) ( q p),如： 如果要辦企業(yè)，就要有資金 所以，如果沒有資金，就不能辦企業(yè)。 練習(xí)：如果火車要跑到臺北，就要有地鐵。,2、必要條件假言易位推理 （1）充分條件假言

5、易位推理 其有效式： 只有p,才q 所以，如果q,則 p。 (p q) ( q p),如： 只有實(shí)事求是，才能避免主觀片面性， 所以，如果要避免主觀片面性，就要實(shí)事求是。 練習(xí)：只有練好“五會”，才能適應(yīng)未來的教學(xué)工作。,3、充要條件假言易位推理 （1）充要條件假言易位推理 其有效式： 當(dāng)且僅當(dāng)p,則q;所以，當(dāng)且僅當(dāng)q,則p. 所以，如果q,則 p。 (p q) (q p),如： 當(dāng)且僅當(dāng)一個(gè)三角形是等邊三角形，則它是等角三角形； 當(dāng)且僅當(dāng)一個(gè)三角形是等角三角形，則它是等邊三角形。 練習(xí)： 當(dāng)且僅當(dāng)四邊是平行四邊形，它的兩組對邊分別平行 ；,假言聯(lián)鎖推理： 充分條件假言聯(lián)鎖推理 必要條件假言聯(lián)鎖推理 混合條件假言聯(lián)鎖推理,充分條件假言聯(lián)鎖推理 肯定式： 如果p,則q 如果q,則r 所以，如果p,則s。 (p q) (q r) ( p s ),如： 如果發(fā)燒，就會使代謝機(jī)能受到干擾， 如果代謝機(jī)能受到干擾，就會破壞肌體， 所以，如果發(fā)燒，就會破壞肌體。,充分條件假言聯(lián)鎖推理 否定式： 如果p,則q； 如果q,則r 所以，如果非p,則非s。 (p q) (q r) (