第一篇數理邏輯-文庫吧
2025-07-05 14:16 本頁面
【正文】 詞 聯(lián)結詞 析取 詞（ disjunction） “或 ”（ or ） 用符號“ ∨ ”表示。 可用表 “ ∨ ” 的意義： p∨ q讀作“ p或者 q”、“ p或 q”。 p q p ∨ q 0 0 1 1 0 1 0 1 0 1 1 1 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結詞 聯(lián)結詞 蘊涵 詞（ implication)“如果 … ，那么 … ” （ if…then… ），用符號 “ → ”表示。 可用表 “ → ” 的意義： p q p → q 0 0 1 1 0 1 0 1 1 1 0 1 p→ q中的 p稱為 蘊涵前件 ， q稱為 蘊涵后件 。 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結詞 聯(lián)結詞 雙向蘊涵 詞 (twowayimplication)“當且僅當 ”（ if and only if），用符號“ ? ”表示。 可用表 “ ? ” 的意義： p q p ?q 0 0 1 1 0 1 0 1 1 0 0 1 p?q讀 作 “ p雙向蘊涵 q”， “ p當且僅當 q”， “ p等價于 q”。 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結詞 命題公式及其真值表 命題常元 命題公式 指派 弄真與弄假 真值表（ truth table） 命題變元 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結詞 命題公式及其真值表 我們把表示具體命題及表示常命 題的 p， q， r， s等與 f， t統(tǒng)稱為 命題常元 （ proposition constants）。 命題變元 （ proposition variable） 是以“真、假”或“ 1， 0”為取值范圍的變元， 它未指出符號所表示的具體命題 。 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結詞 命題公式及其真值表 以下三條款規(guī)定了 命題公式 （ proposition formula） 的意義： （ 1） 命題常元和命題變元是命題公式，也稱為原子公式或原子。 （ 2） 如果 A， B是命題公式，那么（ ┐A），（ A∧ B）， （ A∨ B），（ A→ B），（ A?B）也是命題公式。 （ 3） 只有有限步引用條款（ 1），（ 2）所組成的符號串 是命題公式。 ◆ 定義 第一章 命題演算及其形式系統(tǒng) 命題與聯(lián)結詞 命題公式及其真值表 對任意給定的命題變元 p1,…,pn 的一種取值 狀況，稱為 指派 或 賦值 （ assignments） ， 用字母 ?， ?等
外語相關推薦
鄂ICP備17016276號-1