離散數(shù)學浙大講義11邏輯-資料下載頁
2025-09-25 16:50本頁面
【正文】 trings will be split into blocks of four bits to make them easier to read.) Solution: The bitwise OR, bitwise AND, and bitwise XOR of these strings are obtained by taking the OR, AND, and XOR of the corresponding bits, respectively. This gives us 01 1011 0110 11 0001 1101 11 1011 1111 bitwise OR 01 0001 0100 bitwise AND 10 1010 1011 bitwise XOR Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 36 P、 Q、 R…… 稱為原子命題（ Atomic Proposition）。 原子命題或加上邏輯聯(lián)結詞組成的表達式成為復合命題（ Compositional Proposition）。 從命題常量 到 命題變量 (Propositional Variable) 命題公式： 原子命題是命題公式； 設 P是命題公式，則 172。P也是命題公式； 設 P、 Q是命題公式，則（ P ∧ Q）、（ P ∨ Q）、（ P → Q ）、（ P ?? Q）也是命題公式； 有限次地使用 3所得到的也是命題公式。 Proposition Formulas, WellFormed Formulas(wff) Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 37 命題公式的運算規(guī)則： 邏輯聯(lián)接詞的優(yōu)先級： 172。 、 ∧ 、 ∨ 、 → 、 ?? 命題公式的表達式的運算規(guī)律： 同代數(shù)表達式 命題公式的運算方法： 所有公式中的命題變量用指定命題（真值）代入（或指派），得到一個公式對應的真值。 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 38 性質(zhì) 1： 如果一個命題公式有 N個互異的命題變量，則命題公式對應的真值有 2的 N次冪種可能分布。 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 39 永真命題公式（ Tautology） 公式中的命題變量無論怎樣代入，公式對應的真值恒為 T。 永假命題公式（ Contradiction) 公式中的命題變量無論怎樣代入，公式對應的真值恒為 F。 可滿足命題公式（ Satisfaction） 公式中的命題變量無論怎樣代入，公式對應的真值總有一種情況為 T。 一般命題公式（ Contingency） 既不是永真公式也不是永假公式。 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 40 性質(zhì) 2： （ 1）設 P是永真命題公式，則 P的否定公式是永假命題公式； （ 2）設 P是永假命題公式，則 P的否定公式是永真命題公式； （ 3）設 P、 Q是永真命題公式，則（ P ∧ Q）、（ P ∨ Q）、（ P → Q ）、（ P ?? Q）也是永真命題公式 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 41 小 結 命題的概念：定義、邏輯值、 符號化表示 從簡單命題到復合命題： 邏輯聯(lián)接詞：運算方法、運算優(yōu)先級 從命題常量到命題變量， 從復合命題到命題公式： 命題公式的真值描述：真值表 命題公式的分類： 永真公式、永假公式、可滿足公式 、一般公式 Logic 命題邏輯 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 42 進一步的思考： 從二值邏輯到多值邏輯 從確定值到模糊值 模糊邏輯（ Fuzzy Logic) 練習題： 25（ d）、 30（ b） 10/23/2022 3:27 PM Deren Chen, ZheJiang Univ. 43 更多資料請訪問：
法律信息相關推薦
鄂ICP備17016276號-1