mpa邏輯_講稿2(編輯修改稿)
2025-01-28 16:18 本頁面
【文章內(nèi)容簡(jiǎn)介】 據(jù)此 ， 可以把任何一個(gè)充分條件假言命題轉(zhuǎn)換成與它完全相等值的必要條件假言命題；反之亦然 。 ⑶ 充分必要條件假言命題 假設(shè)有兩個(gè)對(duì)象 A和 B， 每當(dāng) A出現(xiàn) ， B就隨之出現(xiàn)；而當(dāng) A不出現(xiàn)時(shí) ， B也不出現(xiàn) ， 則 A構(gòu)成 B的充分必要條件 ， 或者說在 A和 B之間存在著充分必要條件關(guān)系 。 反映或斷定對(duì)象之間這種條件關(guān)系的命題就是充分必要條件假言命題 。 例 7： 人不犯我，我不犯人；人若犯我，我必犯人。 充分必要條件假言命題的聯(lián)結(jié)項(xiàng)用符號(hào) “ ?”（ 讀作 “ 等值 ” ） 表示 。 邏輯公式： 當(dāng)且僅當(dāng) p， 則 q；或者： p ? q 充分必要條件假言命題的邏輯含義：當(dāng)前件 p真時(shí) ， 則后件 q真；當(dāng)前件 p假時(shí) ， 則后件 q假 。 充分必要假言命題的真假也取決于其前后件之間是否存在充分必要條件關(guān)系 。 對(duì)充分必要條件假言命題而言 ， 只有在其前后件同真同假時(shí) ， 它才是真的；否則便為假 。 充分必要條件假言命題的真值表 。 假言推理就是以假言命題為前提 、 并根據(jù)假言命題的邏輯特性進(jìn)行的推理 。 例 8： 如果他是作案人 ， 那么他定有作案時(shí)間 ， 現(xiàn)已查明 ， 他沒有作案時(shí)間； 所以 ， 他不是作案人 。 假言推理有三種形式 。 ⑴ 充分條件假言推理 ， 就是以充分條件假言命題為前提而進(jìn)行的推理 。 根據(jù)充分條件假言命題前后件之間邏輯關(guān)系的特點(diǎn) ， 充分條件假言推理有兩種正確形式 ， 即 “ 肯定前件式 ” 和 “ 否定后件式 ” ， 邏輯公式為： p→q ， p→q ， p； 非 q； ∴ q。 ∴ 非 p。 充分條件假言推理不能通過否定前件去否定后件 ， 也不能通過肯定后件去肯定前件 。 由此得到充分條件假言推理的相應(yīng)規(guī)則 。 ⑵ 必要條件假言推理 ， 就是以必要條件假言命題為前提進(jìn)行的推理 。 例 9： 一個(gè)人只有年滿 18歲 ， 才有選舉權(quán) ， 他不滿 18歲； 所以 ， 他沒有選舉權(quán) 。 根據(jù)必要條件假言命題前后件之間邏輯關(guān)系的特點(diǎn) ， 必要條件假言推理有兩種正確形式 ， 即 “ 否定前件式 ” 和 “ 肯定后件式 ” ， 邏輯公式為： p ← q， p ← q， 非 p； q； ∴ 非 q。 ∴ p。 由于必要條件假言命題前后件的關(guān)系與充分條件假言命題正相反 ， 因此對(duì)充分條件假言推理是正確的形式 ， 即 “肯定前件式 ” 和 “ 否定后件式 ” ，用于必要條件假言推理是無效的 。 由此得到必要條件假言推理的兩條規(guī)則 。 ⑶ 充分必要條件假言推理 ， 就是以充分必要條件假言命題為前提而進(jìn)行的推理 。 根據(jù)充分必要條件假言命題前后件之間邏輯關(guān)系的特點(diǎn) ， 它的正確推理形式有四種： “ 肯定前件式 ” 和 “ 否定前件式 ” ,“肯定后件式 ” 和 “ 否定后件式 ” 。 由此得到充分必要條件假言推理的規(guī)則 。 第一步：在一論證中區(qū)分出推理的前提和結(jié)論 ，識(shí)別該推理屬哪一種假言推理 。 根據(jù)：假言命題中的邏輯聯(lián)接詞 。 第二步：概括或提煉出推理的標(biāo)準(zhǔn)形式 。 第三步：根據(jù)正確推理模式或推理規(guī)則 ， 驗(yàn)證其是否有效 。
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號(hào)-1