目錄1.1.2 > 復合命題與聯結詞
1.2 > 命題公式的等值演算
1.2.2 > 等值演算與蘊涵式
1.3 > 聯結詞完備集
第2章 > 命題邏輯的推理理論
1.1.1 > 命題與命題的表示
數理邏輯
又被稱為符號邏輯，最基本的兩個組成部分是命題演算和謂詞演算
推理由乙個或幾個已知的前提推導出乙個未知結論的思維過程
真值乙個陳述句是否成立的屬性，成立為真，不成立為假，真表示為 t 或 1，假表示為 f 或 0
命題具有唯一真值的陳述句
可能為真或假的陳述句非命題（x + y > 5非命題）
無法判斷但是只有唯一真值的陳述句依然視為命題（地球外有外星人）
疑問句/感嘆句/祈使句均非命題
悖論非命題（不討論）
命題的符號化
用符號表示命題的過程，通常使用大寫或小寫英文本母表示（可以新增數字作為下標）
命題識別符號
表示命題的符號
如果表示的命題確定，則為命題常量（項）
如果只代替命題的所處位置，則為命題變元（項）
用具體的命題替換命題變元被稱為命題變元的指派
命題變元不是命題本身
1.1.2 > 復合命題與聯結詞
原子命題
不能再被分解的命題，又被稱為簡單命題
復合命題
由原子命題通過聯結詞聯結而成的命題
聯結詞表示兩個句子之間的關係
數理邏輯中常用的聯結詞共有 5 個，如下所示
否定聯結詞
┐a 讀作 非aa┐a
1001
合取聯結詞
a ∧ b 讀作 a合取b（a且b）
合取聯結詞具有對稱性，a ∧ b ⇔ b ∧ aab
a ∧ b11
1100
0100
00析取聯結詞
a ∨ b 讀作 a析取b（a或b）
析取聯結詞具有對稱性，a ∨ b ⇔ b ∨ aab
a ∨ b11
1101
0110
00條件聯結詞
a → b 讀作 若a則b
條件聯結詞不具有對稱性，a → b 不等價於 b → aab
a → b11
1100
0110
01雙條件聯結詞
a ↔ b 讀作 a當且僅當b
雙條件聯結詞具有對稱性，a ↔ b ⇔ b ↔ aab
a ↔ b11
1100
0100
011.2.1 > 命題公式
命題公式
命題公式也稱為合式公式，命題形式，簡稱公式
將命題用聯結詞和圓括號按一定邏輯關係聯結起來的符號串稱為命題公式
1：單個命題變元或命題常量也可以是合式公式，並稱為原子命題公式
2：若 a 是合式公式，則 ┐a 也是合式公式
3：若 a b 均為合式公式，則 a（聯結詞）b 也是合式公式
有限利用以上三條合成的公式也屬於合式公式
合式公式最外層括號可以省略，不影響運算次序的括號可以省略
聯結詞的優先順序
否定聯結詞 > 合取聯結詞 > 析取聯結詞 > 條件聯結詞 > 雙條件聯結詞
優先順序由高到低
子公式設 a1 是公式 a 的一部分，且 a1 是乙個合式公式，則稱 a1 是 a 的子公式或公式分量
命題的指派
設 a 為命題公式，p₁p₂…pₙ 為出現在 a 中的所有命題變元，對 p₁p₂…pₙ 各指派乙個真值稱為對命題 a 的一種指派，若指派後使得命題 a 的值為真，則稱這組值為 a 的成真指派，反之為成假指派
真值表若命題 a 中共有 n 個命題變元，給定一組指派，指派可以為 1 或 0，根據排列組合可知，含有 n 個命題變元的命題公式，共有 2ⁿ 組指派，將公式 a 的所有指派的取值列出的表，稱為 a 的真值表
命題等價
給定兩個命題公式 a 和 b，若對 a 和 b 給定任意一組指派都使得 a 和 b 的真值相同，則稱 a 和 b 等價，記作 a ⇔ b，若至少有一組指派的真值不同，則稱 a 和 b 不等價
推論 > 對於任意公式 p，都有無窮多個公式與 p 等價
永真式與永假式
設 a 為命題公式，若各種指派下 a 的取值均為真，則稱 a 為永真式或重言式，若取值均為假，則稱 a 為永假式或矛盾式
推論 > 兩個命題公式 p ⇔ q 當且僅當 p ↔ q 為永真式
可滿足式
設 a 為命題公式，若 a 至少存在一組成真指派，則為可滿足式，永真式是可滿足式，但可滿足式不一定是永真式（可視為永真式 ⊆ 可滿足式）
命題公式定律
名詞公式
雙重否定律
a ⇔ ┐┐a
排中律a ∨ ┐a ⇔ t
矛盾律a ∧ ┐a ⇔ f
同一律a ∨ f ⇔ a ∧ t ⇔ a
零律a ∧ f ⇔ f
a ∨ t ⇔ t
冪等律a ∧ a ⇔ a ; a ∧ a ∧ a ⇔ a
a ∨ a ⇔ a ; a ∨ a ∨ a ⇔ a
交換律a ∧ b ⇔ b ∧ a
a ∨ b ⇔ b ∨ a
結合律(a ∧ b) ∧ c ⇔ a ∧ (b ∧ c)
(a ∨ b) ∨ c ⇔ a ∨ (b ∨ c)
分配律(a ∧ b) ∨ c ⇔ (a ∨ c) ∧ (b ∨ c)
(a ∨ b) ∧ c ⇔ (a ∧ c) ∨ (b ∧ c)
吸收律(a ∧ b) ∨ a ⇔ (a ∨ b) ∧ a ⇔ a
德摩根律
┐a ∧ ┐b ⇔ ┐(a ∨ b)
┐a ∨ ┐b ⇔ ┐(a ∧ b)
名詞公式
蘊涵等值式
a → b ⇔ ┐a ∨ b
否定等值式
a ↔ b ⇔ ┐a ↔ ┐b
等價等值式
a ↔ b ⇔ (a → b) ∧ (b → a)
假言易位式
a → b ⇔ ┐b → ┐a
歸謬論(a → b) ∧ (a → ┐b) ⇔ ┐a
1.2.2 > 等值演算與蘊涵式
等值演算
由已知的等值式推演出另外一些等值式的過程，被稱為等值演算或等價變化，是布林代數或邏輯代數的重要組成部分
蘊涵式又稱永真條件式，p → q 為永真式當且僅當 p ⇒ q（p蘊涵q）
對於任意公式 a，都有 a ⇒ a
對於任意公式 a、b、c，若 a ⇒ b，b ⇒ c，則 a ⇒ c
對於任意公式 a、b、c，若 a ⇒ b，a ⇒ c，則 a ⇒ (b ∧ c)
對於任意公式 a、b、c，若 a ⇒ c，b ⇒ c，則 (a ∨ b) ⇒ c
設a、b為命題公式，a ⇔ b 的充分必要條件是 a ⇒ b 且 b ⇒ a
總結 >>> 對於任意兩個命題 a 和 b
a ⇔ b 當且僅當 a ⇒ b 且 b ⇒ a
a ⇔ b 當且僅當 a ↔ b 為永真式
a ⇒ b 當且僅當 a → b 為永真式
推理定律
名詞公式
化簡律p ∧ q ⇒ p
p ∧ q ⇒ q
附加律p ⇒ p ∨ q
q ⇒ p ∨ q
化簡律變種
┐(p → q) ⇒ p ⇒ ┐q
附加律變種
q ⇒ p → q
┐p ⇒ p → q
假言推理
p ∧ (p → q) ⇒ q
拒取式┐q ∧ (p → q) ⇒ ┐p
析取三段論
┐q ∧ (p ∨ q) ⇒ p
條件三段論
(p → q) ∧ (q → r) ⇒ p → r
等價三段論
(p ↔ q) ∧ (q ↔ r) ⇒ p ↔ r
合取構造二難
(p → q) ∧ (r → s) ∧ (p ∧ r) ⇒ q ∧ s
析取構造二難
(p → q) ∧ (r → s) ∧ (p ∨ r) ⇒ q ∨ s
前後件附加
p → q ⇒ (p ∧ r) → (q ∧ r)
p → q ⇒ (p ∨ r) → (q ∨ r)
聯結詞完備集
設 s 是聯結詞集合，若任何 n（n>0）元真值函式都可以由僅含 s 中的聯結詞構成的公式表示，則稱 s 是聯結詞完備集
根據定義可知，s = 是聯結詞完備集
s1 =
s2 =
s3 =
s4 =
s5 =
均為聯結詞完備集
最小聯結詞完備集
我們把 s = ，s = 稱為最小聯結詞完備集
與非門，或非門
設 p、q 為命題公式，p 與 q 的否定是乙個復合命題，記作 p ↑ q，即 p 和 q 的與非式，符號 ↑ 是與非聯結詞
設 p、q 為命題公式，p 或 q 的否定是乙個復合命題，記作 p ↓ q，即 p 和 q 的或非式，符號 ↓ 是或非聯結詞
可以證明 s = 和 s = 都是聯結詞完備集
2.1.1 > 正規化的概念
離散數學知識點總結（5）函式
f a b指a到b的函式，此時dom f a ran f b b稱f的陪域 設x和y是a的子集，f x y f x f y f x y f x f y ba為b到a上所有函式的集合，稱作b上a，ba b a a b 時，ba ba 1。其中空關係是 到任意集合 包括 的函式 f a b，此處的b實際...
離散數學知識點總結（2） 謂詞邏輯
謂詞 表示個體詞性質或相互之間關係的詞 量詞 用來表示個體數量的詞是 謂詞的量化 給謂詞加上量詞 一元目謂詞p x n元目謂詞p x,y,z,它們是命題形式而非命題 因為既沒有指定謂詞符號p的含義，而且個體詞x y等也是個體變項而不代表某個具體的事物，從而無法確定p x p x,y 的真值。僅當賦予...
離散數學及其應用知識點
離散數學知識點 命題 定義1 令 p 為一命題。則 p 的否定為 p 指 不是 p 所說的情形 p 與 p 的真值相反。p ptff t定義 2 令 p 和 q 為命題。p,q的合取用 p q 表示，即命題 p 且 q 當命題 p,q 同為真時，p q 為真，否則為假。定義 3 令 p 和 q 為命...