《假言命題推理.ppt》由會(huì)員上傳分享，免費(fèi)在線(xiàn)閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。

1、假言命題推理假言推理分兩類(lèi)：混合假言題和純粹假言推理?；旌霞傺酝评?、充分條件假言推理及其有效式充分條件假言推理規(guī)則：肯定前件就要肯定后件，否定后件就要否定前件；否定前件不能否定后件，肯定后件不能肯定前件。如：如果天下雨，地就會(huì)濕?？隙ㄇ凹鸵隙ê蠹绻煜掠?，地就會(huì)濕天下雨了，所以，地濕了。否定后件就要否定前件如果天下雨，地就會(huì)濕。地沒(méi)有濕，所以，天沒(méi)有下雨。否定前件不能否定后件如果天下雨，地就會(huì)濕。天沒(méi)有下雨所以，地沒(méi)有濕。（結(jié)論錯(cuò)誤）肯定后件不能肯定前件如果天下雨，地就會(huì)濕地濕了所以，天下雨了。充分條件假言推理的有效式1、肯定前件式如果p

2、,則qP所以q(pq)∧pq練習(xí)：如果電燈亮了，就不會(huì)斷路。用肯定前件式推理2、否定后件式如果p，則q非q所以，非p(pq)∧┑q┑p練習(xí)：如果電燈亮了，就不會(huì)斷路。用肯定前件式推理必要條件假言推理其規(guī)則有二：否定前件就要否定后件，肯定后件就要肯定前件；肯定前件不能肯定后件，否定后件不能否定前件。如：只有身體好，才能登上三清山。否定前件就要否定后件劉穎身體不好。所以，劉穎不能登上三清山?？隙ê蠹鸵隙ㄇ凹挥猩眢w好，才能登上三清山劉穎登上了三清山，所以，劉穎身體好。必要條件假言推理的有效式否定前件式只有p,才q非p所以，非q(pq)∧┑p┑q肯

3、定后件式只有p,才q非q所以，非p(pq)∧qp練習(xí)：只有調(diào)查研究，才有發(fā)言權(quán)。充要條件假言推理其規(guī)則有二：肯定前件就要肯定后件，肯定后件就要肯定前件；否定前件就要否定后件，否定后件就要否定前件。如：當(dāng)且僅當(dāng)能被2整除的數(shù)，則是偶數(shù)?？隙ㄇ凹鸵隙ê蠹?是被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ù)所以，7不能被2整除充要

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

5、(qp)如：只有實(shí)事求是，才能避免主觀(guān)片面性，所以，如果要避免主觀(guān)片面性，就要實(shí)事求是。練習(xí)：只有練好“五會(huì)”，才能適應(yīng)未來(lái)的教學(xué)工作。3、充要條件假言易位推理（1）充要條件假言易位推理其有效式：當(dāng)且僅當(dāng)p,則q;所以，當(dāng)且僅當(dāng)q,則p.所以，如果q,則p。(pq)(qp)如：當(dāng)且僅當(dāng)一個(gè)三角形是等邊三角形，則它是等角三角形；當(dāng)且僅當(dāng)一個(gè)三角形是等角三角形，則它是等邊三角形。練習(xí)：當(dāng)且僅當(dāng)四邊是平行四邊形，它的兩組對(duì)邊分別平行；假言聯(lián)鎖推理：充分條件假言聯(lián)鎖推理必要條件假言聯(lián)鎖推理混合條件假言聯(lián)鎖推理充分條件假言聯(lián)鎖推理肯定式：如果p,則q如果q

6、,則r所以，如果p,則s。(pq)∧(qr)∧(ps)∧∧如：如果發(fā)燒，就會(huì)使代謝機(jī)能受到干擾，如果代謝機(jī)能受到干擾，就會(huì)破壞肌體，所以，如果發(fā)燒，就會(huì)破壞肌體。充分條件假言聯(lián)鎖推理否定式：如果p,則q；如果q,則r所以，如果非p,則非s。(pq)∧(qr)∧(┑r┑p)如：如果發(fā)燒(p)，就會(huì)使代謝機(jī)能受到干擾(q)，如果代謝機(jī)能受到干擾(q)，就會(huì)破壞肌體(r)，所以，如果沒(méi)有破壞肌體(非r)，就不會(huì)發(fā)燒(非p)。