第一篇數(shù)理邏輯(存儲版)
【正文】 結(jié)詞 h是用 m 個(gè)聯(lián)結(jié)詞 g1, g2,… , gm 可表示 的，如果 h(p1, p2,. . ., pn ) ┝┥ A 而 A中所含聯(lián)結(jié)詞僅取自 g1, g2,. . ., gm。 第一章 命題演算及其形式系統(tǒng) 范式 析取范式和合取范式 ◆ 定義 命題公式 A‘稱為公式 A的 析取范式 （ disjunctive normal form） ，如果 （ 1） A39。 ◆ 定理 （ rule of replacement ），簡記為 RR 第一章 命題演算及其形式系統(tǒng) 重 言 式 △ 對偶原理 設(shè)公式 A僅含聯(lián)結(jié)詞 ┐， ∧ ， ∨ ， A*為 將 A中符號 ∧ ， ∨ ， t， f分別改換為 ∨ ， ∧ ， f， t后所得的公式，那么稱 A*為 A的 對偶 （ dual）。 ◆ 定義 當(dāng)命題公式 A→B 為重言式時(shí)，稱 A邏輯蘊(yùn)涵 B， 記為 A┝ B，它又稱為 邏輯蘊(yùn)涵式 (logically implication)。 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結(jié)詞 命題公式及其真值表 對一切可能的指派 ,公式 A的取值可能用下表來描述，這個(gè)表 稱為 真指表 （ truth table） p q r q∧ r p→ (q∧ r) ┐(p→ (q∧ r) 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結(jié)詞 語句的形式化 語句形式化 主要是以下幾個(gè)方面： ① 要準(zhǔn)確確定原子命題，并將其形式化。 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結(jié)詞 聯(lián)結(jié)詞 雙向蘊(yùn)涵 詞 (twowayimplication)“當(dāng)且僅當(dāng) ”（ if and only if），用符號“ ? ”表示。 第 一 章 命題演算及其形式系統(tǒng) 命題與聯(lián)結(jié)詞 重 言 式 范式 * 命題演算形式系統(tǒng) 第一章 命題演算及其形式系統(tǒng) 命題 聯(lián)結(jié)詞 命題公式及其真值表 語句的形式化 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結(jié)詞 重言式概念 邏輯等價(jià)式和邏輯蘊(yùn)涵式 △ 對偶原理 第一章 命題演算及其形式系統(tǒng) 重 言 式 析取范式和合取范式 主析取范式與主合取范式 △ 聯(lián)結(jié)詞的擴(kuò)充與歸約 第一章 命題演算及其形式系統(tǒng) 范式 證明、演繹和推理 △ 命題演算形式系統(tǒng) PC 自然推理系統(tǒng) ND 第一章 命題演算及其形式系統(tǒng) * 命題演算形式系統(tǒng) 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結(jié)詞 命題 我們把對確定 的對象作出判斷的陳述句 稱作 命題 （ propositions or
外語相關(guān)推薦
鄂ICP備17016276號-1