命题概念
命题:有唯一真值的陈述句(悖论除外)
真值:真/假(T/F、0/1)
真(假)命题:真值为真(假)的命题
原子命题:不能再分割的命题
复合命题:由简单命题通过联结词结合成的命题
联结词
联结词 | 符号 | 含义 |
---|---|---|
否定 | ¬ ¬ ¬ | 取反 |
合取 | ∧ ∧ ∧ | 同真为真 |
吸取 | ∨ ∨ ∨ | 同假为假 |
蕴含 | → → → | 前真后假为假 |
等价 | ↔ ↔ ↔ | 相同为真 |
顺序: ( ) ( ) (), ¬ ¬ ¬, ∧ ∧ ∧, ∨ ∨ ∨, → → →, ↔ ↔ ↔
命题公式
命题变元:取值 1(真)或 0(假)的变元
合式公式:将命题变元用联结词或圆括号按一定逻辑关系联结起来的符号串
赋值:为公式中所有变元指定真值,若为真(假)则是成真(假)赋值
重言式(永真式):公式在所有赋值下取值都是真
矛盾式(用假式):公式在所有赋值下取值都是假
不是矛盾式,则称可满足式。不是矛盾式同时也不是重言式,则称为非重言的可满足式
等值式
若 A ↔ B A↔B A↔B 为重言式,则 A 与 B 等价,记 A ⇔ B A \Leftrightarrow B A⇔B
常见等值式 | |
---|---|
双重否定律 | A ⇔ ¬ ¬ B A \Leftrightarrow ¬¬B A⇔¬¬B |
幂等律 | A ⇔ A ∨ A A \Leftrightarrow A∨A A⇔A∨A 、 A ⇔ A ∧ A A \Leftrightarrow A∧A A⇔A∧A |
交换律 | A ∨ B ⇔ B ∨ A A∨B \Leftrightarrow B∨A A∨B⇔B∨A 、 A ∧ B ⇔ B ∧ A A∧B \Leftrightarrow B∧A A∧B⇔B∧A |
结合律 | ( A ∨ B ) ∨ C ⇔ A ∨ ( B ∨ C ) (A∨B)∨C \Leftrightarrow A∨(B∨C) (A∨B)∨C⇔A∨(B∨C) 、 ( A ∧ B ) ∧ C ⇔ A ∧ ( B ∧ C ) (A∧B)∧C \Leftrightarrow A∧(B∧C) (A∧B)∧C⇔A∧(B∧C) |
分配律 | A ∨ ( B ∧ C ) ⇔ ( A ∨ B ) ∧ ( A ∨ C ) A∨(B∧C) \Leftrightarrow (A∨B)∧(A∨C) A∨(B∧C)⇔(A∨B)∧(A∨C) 、 A ∧ ( B ∨ C ) ⇔ ( A ∧ B ) ∨ ( A ∧ C ) A∧(B∨C) \Leftrightarrow (A∧B)∨(A∧C) A∧(B∨C)⇔(A∧B)∨(A∧C) |
德摩根律 | ¬ ( A ∨ B ) ⇔ ¬ A ∧ ¬ B ¬(A∨B) \Leftrightarrow ¬A∧¬B ¬(A∨B)⇔¬A∧¬B 、 ¬ ( A ∧ B ) ⇔ ¬ A ∨ ¬ B ¬(A∧B) \Leftrightarrow ¬A∨¬B ¬(A∧B)⇔¬A∨¬B |
吸收律 | A ∨ ( A ∧ B ) ⇔ A A∨(A∧B) \Leftrightarrow A A∨(A∧B)⇔A 、 A ∧ ( A ∨ B ) ⇔ A A∧(A∨B) \Leftrightarrow A A∧(A∨B)⇔A |
零律 | A ∨ 1 ⇔ 1 A∨1 \Leftrightarrow 1 A∨1⇔1、 A ∧ 0 ⇔ 0 A∧0 \Leftrightarrow 0 A∧0⇔0 |
同一律 | A ∨ 0 ⇔ A A∨0 \Leftrightarrow A A∨0⇔A、 A ∧ 1 ⇔ A A∧1 \Leftrightarrow A A∧1⇔A |
排中律 | A ∨ ¬ A ⇔ 1 A∨¬A \Leftrightarrow 1 A∨¬A⇔1 |
矛盾律 | A ∧ ¬ A ⇔ 0 A∧¬A \Leftrightarrow 0 A∧¬A⇔0 |
蕴含等值式 | A → B ⇔ ¬ A ∨ B A→B \Leftrightarrow ¬A∨B A→B⇔¬A∨B |
等价等值式 | A ↔ B ⇔ ¬ A ∨ B A↔B \Leftrightarrow ¬A∨B A↔B⇔¬A∨B |
假言易位 | A → B ⇔ ( A → B ) ∧ ( B → A ) A→B \Leftrightarrow (A→B)∧(B→A) A→B⇔(A→B)∧(B→A) |
等价否定等值式 | A ↔ B ⇔ ¬ A ↔ ¬ B A↔B \Leftrightarrow ¬A↔¬B A↔B⇔¬A↔¬B |
归谬律 | ( A → B ) ∧ ( A → ¬ B ) ⇔ ¬ A (A→B)∧(A→¬B) \Leftrightarrow ¬A (A→B)∧(A→¬B)⇔¬A |
析取范式和合取范式
文字:命题变元及其否定
简单析(合)取式:有限个文字构成的析(合)取式
析(合)取范式:有限个简单合(析)取式的析(合)取
主析取范式和主合取范式
极小(大)项:命题变元的简单合(析)取式中,若每个命题变元和它的否定式出现且仅出现一次
极小项
公式 | 成真赋值 | 名称 |
---|---|---|
¬ p ∧ ¬ q ¬p∧¬q ¬p∧¬q | 00 | m0 |
¬ p ∧ q ¬p∧q ¬p∧q | 01 | m1 |
p ∧ ¬ q p∧¬q p∧¬q | 10 | m2 |
p ∧ q p∧q p∧q | 11 | m3 |
极大项
公式 | 成假赋值 | 名称 |
---|---|---|
p ∨ q p∨q p∨q | 00 | M0 |
p ∨ ¬ q p∨¬q p∨¬q | 01 | M1 |
¬ p ∨ q ¬p∨q ¬p∨q | 10 | M2 |
¬ p ∨ ¬ q ¬p∨¬q ¬p∨¬q | 11 | M3 |
主析(合)取范式:由极小(大)项构成的析取(合)范式
联结词的完备集
S 是联结词集合,若所有公式都可由 S 中的联结词构成的公式表示,则称 S 为完备集
S 1 = { ¬ , ∧ , ∨ } S_{1}=\{¬, ∧, ∨\} S1={¬,∧,∨}
S 2 = { ¬ , ∧ , ∨ , → } S_{2}=\{¬, ∧, ∨,→\} S2={¬,∧,∨,→}
S 3 = { ¬ , ∧ , ∨ , → , ↔ } S_{3}=\{¬, ∧, ∨,→,↔\} S3={¬,∧,∨,→,↔}
S 4 = { ¬ , ∧ } S_{4}=\{¬, ∧\} S4={¬,∧}
S 5 = { ¬ , ∧ } S_{5}=\{¬, ∧\} S5={¬,∧}
S 6 = { ¬ , → } S_{6}=\{¬,→\} S6={¬,→}
S 7 = { ↑ } S_{7}=\{↑\} S7={↑}
S 8 = { ↓ } S_{8}=\{↓\} S8={↓}
注:↑ 与非,↓ 或非
命题逻辑的推理
当且仅当 A → B A→B A→B 是重言式时,称 A 可推出 B,或称 B 是前提 A 的有效结论,记 A ⇒ B A \Rightarrow B A⇒B
A 1 , A 2 , … , A k A_{1},A_{2},…,A_{k} A1,A2,…,Ak 推出 B 的推理正确,当且仅当 A 1 ∧ A 2 ∧ … ∧ A k → B A_{1}∧A_{2}∧…∧A_{k}→B A1∧A2∧…∧Ak→B 为重言式
推理公式 | |
---|---|
附加律 | A ⇒ ( A ∨ B ) A\Rightarrow (A∨B) A⇒(A∨B) |
化简律 | ( A ∧ B ) ⇒ A (A∧B)\Rightarrow A (A∧B)⇒A |
假言推理 | ( A → B ) ∧ A ⇒ B (A→B)∧A\Rightarrow B (A→B)∧A⇒B |
拒取式 | ( A → B ) ∧ ¬ B ⇒ ¬ A (A→B)∧¬B\Rightarrow ¬A (A→B)∧¬B⇒¬A |
析取三段论 | ( A ∨ B ) ∧ ¬ B ⇒ A (A∨B)∧¬B\Rightarrow A (A∨B)∧¬B⇒A |
假言三段论 | ( A → B ) ∧ ( B → C ) ⇒ ( A → C ) (A→B)∧(B→C)\Rightarrow(A→C) (A→B)∧(B→C)⇒(A→C) |
等价三段论 | ( A ↔ B ) ∧ ( B ↔ C ) ⇒ ( A ↔ C ) (A↔B)∧(B↔C)\Rightarrow(A↔C) (A↔B)∧(B↔C)⇒(A↔C) |
构造性二难 | ( A → B ) ∧ ( C → D ) ∧ ( A ∨ C ) ⇒ ( B ∨ D ) (A→B)∧(C→D)∧(A∨C)\Rightarrow (B∨D) (A→B)∧(C→D)∧(A∨C)⇒(B∨D)、 ( A → B ) ∧ ( ¬ A → B ) ⇒ B (A→B)∧(¬A→B)\Rightarrow B (A→B)∧(¬A→B)⇒B(特殊形式) |
破坏性二难 | ( A → B ) ∧ ( C → D ) ∧ ( ¬ B ∨ ¬ D ) ⇒ ( ¬ A ∨ ¬ C ) (A→B)∧(C→D)∧(¬B∨¬D)\Rightarrow (¬A∨¬C) (A→B)∧(C→D)∧(¬B∨¬D)⇒(¬A∨¬C) |