命题联结词
命题联结词 | 符号 | 判断 | 替换 |
---|---|---|---|
否定 | ¬ | 0 1 1 0 | |
合取 | ∧ | 11 1 | |
析取 | ∨ | 00 0 | p ∨ q \color{blue}{p∨q} p∨q ⇔ \color{red}{⇔} ⇔¬(¬p∧¬q) |
蕴涵 | → | 10 0 | A → B \color{blue}{A→B} A→B ⇔ \color{red}{⇔} ⇔¬A∨B |
等价 | ↔ | 00 1 11 1 | A ↔ B \color{blue}{A↔B} A↔B ⇔ \color{red}{⇔} ⇔¬A↔¬B |
异或 | ∨ ‾ \overline{∨} ∨ | 10 1 01 1 | p ∨ ‾ q \color{blue}{p\overline{∨}q} p∨q ⇔ \color{red}{⇔} ⇔(p∧¬q)∨(¬p∧q) |
与非 | ↑ | 11 0 | p ↑ q \color{blue}{p↑q} p↑q ⇔ \color{red}{⇔} ⇔¬(p∧q) |
或非 | ↓ | 00 1 | p ↓ q \color{blue}{p↓q} p↓q ⇔ \color{red}{⇔} ⇔¬(p∨q) |
基本等值式
等值式 | |
---|---|
A ⇔ \color{red}{⇔} ⇔¬¬A | 双重否定律 |
A
⇔
\color{red}{⇔}
⇔A∨A A ⇔ \color{red}{⇔} ⇔A∧A | 等幂律 |
A∨B
⇔
\color{red}{⇔}
⇔B∨A A∧B ⇔ \color{red}{⇔} ⇔B∧A | 交换律 |
(A∨B)∨C
⇔
\color{red}{⇔}
⇔A∨(B∨C) (A∧B)∧C ⇔ \color{red}{⇔} ⇔A∧(B∧C) | 结合律 |
A∨(B∧C)
⇔
\color{red}{⇔}
⇔(A∨B)∧(A∨C) A∧(B∨C) ⇔ \color{red}{⇔} ⇔(A∧B)∨(A∧C) | 分配律 |
¬(A∨B)
⇔
\color{red}{⇔}
⇔¬A∧¬B ¬(A∧B) ⇔ \color{red}{⇔} ⇔¬A∨¬B | 摩根律 |
A∨(A∧B)
⇔
\color{red}{⇔}
⇔A A∧(A∨B) ⇔ \color{red}{⇔} ⇔A | 吸收律 |
A∨1
⇔
\color{red}{⇔}
⇔ 1 A∧0 ⇔ \color{red}{⇔} ⇔ 0 | 零化律 |
A∨0
⇔
\color{red}{⇔}
⇔A A∧1 ⇔ \color{red}{⇔} ⇔A | 同一律 |
A∨¬A ⇔ \color{red}{⇔} ⇔ 1 | 排中律 |
A∧¬A ⇔ \color{red}{⇔} ⇔ 0 | 矛盾律 |
A→B ⇔ \color{red}{⇔} ⇔¬A∨B | 蕴涵等值式 |
A↔B ⇔ \color{red}{⇔} ⇔(A→B)∧(B→A) | 等价等值式 |
A→B ⇔ \color{red}{⇔} ⇔¬B→¬A | 假言异位 |
A↔B ⇔ \color{red}{⇔} ⇔¬A↔¬B | 等价否定等值式 |
(A→B)∧(A→¬B) ⇔ \color{red}{⇔} ⇔¬A | 归谬论 |
范式
仅由有限个命题变项或其否定构成的析取式称为 简 单 析 取 式 \textcolor{red}{简单析取式} 简单析取式.
仅由有限个命题变项或其否定构成的合取式称为 简 单 合 取 式 \textcolor{red}{简单合取式} 简单合取式.
仅由有限个简单合取式构成的析取式称为 析 取 范 式 \textcolor{red}{析取范式} 析取范式.
仅由有限个简单析取式构成的合取式称为 合 取 范 式 \textcolor{red}{合取范式} 合取范式.
在仅含有联结词 ¬,∧,∨ 的命题公式 A 中,将 ∧ 换成 ∨,∨ 换成 ∧ ,1 换成 0,0 换成 1,所得命题公式称为 A 的 对 偶 式 \textcolor{red}{对偶式} 对偶式,记为 A*.
主析取范式 ∑(0,1,2,3)⇔永真式 B ⇔ ( B ∧ p i ) ∨ ( B ∧ ¬ p i ) B⇔(B∧p_i)∨(B∧¬p_i) B⇔(B∧pi)∨(B∧¬pi) | 极小项 | ¬p∧¬q ¬p∧q p∧¬q p∧q | m0 m1 m2 m3 |
---|---|---|---|
主合取范式 ∏(0,1,2,3)⇔永假式 B ⇔ ( B ∨ p i ) ∧ ( B ∨ ¬ p i ) B⇔(B∨p_i)∧(B∨¬p_i) B⇔(B∨pi)∧(B∨¬pi) | 极大项 | p∨q p∨¬q ¬p∨q ¬p∨¬q |
M
0
M_0
M0 M 1 M_1 M1 M 2 M_2 M2 M 3 M_3 M3 |
推理定律
永真蕴涵式 | |
---|---|
A⇒(A∨B) | 附加 |
A \color{green}{A} A∧ B \color{purple}{B} B⇒A | 化简 |
( A → B ) \color{green}{(A→B)} (A→B)∧ A \color{purple}{A} A⇒B | 假言推理 |
( A → B ) \color{green}{(A→B)} (A→B)∧ ¬ B \color{purple}{¬B} ¬B⇒¬A | 拒取式 |
( A ∨ B ) \color{green}{(A∨B)} (A∨B)∧ ¬ A \color{purple}{¬A} ¬A⇒B | 析取三段论 |
( A → B ) \color{green}{(A→B)} (A→B)∧ ( B → C ) \color{purple}{(B→C)} (B→C)⇒(A→C) | 假言三段论 |
( A ↔ B ) \color{green}{(A↔B)} (A↔B)∧ ( B ↔ C ) \color{purple}{(B↔C)} (B↔C)⇒(A↔C) | 等价三段论 |
( A → B ) \color{green}{(A→B)} (A→B)∧ ( C → D ) \color{purple}{(C→D)} (C→D)∧ ( A ∨ C ) \color{red}{(A∨C)} (A∨C)⇒(B∨D) | 构造性三段论 |
( A → B ) \color{green}{(A→B)} (A→B)∧ ( C → D ) \color{purple}{(C→D)} (C→D)∧ ( ¬ B ∨ ¬ D ) \color{red}{(¬B∨¬D)} (¬B∨¬D)⇒(¬A∨¬C) | 破坏性二难 |
推理规则
方法 | 结论 | 引入 | 最后 |
---|---|---|---|
附加前提证明法 | A→B | A | B |
归谬法 | A | ¬A | 永假 |