命題:具有確定真值的陳述句【乙個命題總是具有乙個「值」，稱為真值（true或false）】
1.原子命題：不能再進一步分解的陳述句
2.復合命題：由聯結詞、標點符號和原子命題復合構成的命題
3.命題常量：表示確定的命題的命題識別符號
4.命題變元：只表示任意命題的位置標誌的命題識別符號【不能確定真值】
當命題變元 ╭p用乙個特定的命題取代是，p確定真值→對p的指派
╰表示原子命題時，稱為原子變元
聯結詞：
非（┐）、合取聯結詞（∧）、析取聯結詞（∨）、
蘊含式（p→
q q是
p的必要條件）
等價式（p和
q互為充分必要條件）
▲命題p→
q 為條件命題：如果p,則q 當p的真值為t和q的真值為f,命題p→
q 的真值為f，否則，真值為t
▲如果p為假命題，不論q是真是假，命題p→
q 均為真
命題公式：由命題變元（有下標或者無下標的大寫英文本母）聯結詞符號組成，從而形成乙個字串
1.合式公式：也叫命題公式，當且僅當按下列規則生成的公式：
（1）單個命題變元，本身是乙個合式公式
（2）如果a是乙個合式公式，則┐a也是乙個合式公式
（3）如果a和b是合式公式，則a和b的組合都是合式公式
（4）經過有限次使用規則（1）、（2）、（3），從而得到的命題變元、聯結詞和圓括號組成的字串，是合式公式
2.矛盾式：給定一命題公式，無論對分量做怎樣的指派，其對應的真值永為f，則稱該命題公式為永假式
3.重言式：給定一命題公式，無論對分量做怎樣的指派，其對應的真值永為t，則稱該命題公式為永真式
4.給定兩個命題公式a和b，設p1、p2.....pn為所有出現a和b中原子變元，若給p1、p2、.....pn任一組真值指派，a和b的真值相同，則稱a和b是等價或邏輯相等。
離散數學 命題邏輯
命題 具有真假意義的陳述句 原子命題 不能再分解的命題 命題的真值 t f 或 1 0 注 自指謂 的陳述句不算命題，因為其往往真假矛盾 命題識別符號 原子命題一般用大寫字母或帶下標的大寫字母表示，該符號稱為命題符 聯結詞原子命題可以通過聯結詞構成復合命題，聯結詞有5種 否定聯結詞 讀作 非 也記作...
離散數學複習筆記 命題邏輯 命題
定義 具有唯一真值的陳述句叫命題。命題可以是真的，也可以是假的，但不能同時為真又為假 命題分類 1 原子命題 基本命題 本源命題 乙個命題，不能分解成為更簡單的命題。例 我是一位學生。2 分子命題 復合命題 若干個原子命題使用適當的聯結詞所組成的新命題。例 我是一位學生和他是一位工人。命題聯結詞 1...
離散數學之數理邏輯02 命題邏輯
以下都是命題 以下不是命題 注 開關電路 邏輯電路 布林代數。3由簡單命題能構造更加複雜命題 復合命題 小常識 為什麼不用 連線詞 這裡通常聯結兩個句子，聯結的事物更長更複雜 連線通常表示連線更短的詞語 使用 聯結 更符合語義。p p 0110 3中，若p代表 期中考試張三考試及格了 則 1 可表示...