离散数学——2 命题逻辑、谓词逻辑

爱看烟花的码农

已于 2025-06-29 00:41:25 修改

阅读量805

点赞数 22

CC 4.0 BY-SA版权

分类专栏：离散数学文章标签：离散数学

于 2025-06-27 01:27:27 首次发布

等值演算是通过使用已知的等值公式来推导出新的等值公式或简化命题公式的过程。

核心定理 (置换规则)
- 内容: 如果两个命题公式 $A$ 和 $B$ 是等值的 (记作 $\Leftrightarrow B$ )，那么在一个更复杂的命题公式 $Φ(A)\Phi(A)$ 中，将任意出现的 $A$ 替换为 $B$ ，得到的新公式 $Φ(B)\Phi(B)$ 与原公式是等值的，即 $Φ(A)⇔Φ(B)\Phi(A) \Leftrightarrow \Phi(B)$ 。
- 意义: 这个定理是进行等值推演的理论基础，允许我们“代入”和“替换”。
常用重要等值式 (必须记忆)
- 蕴涵等值式: $\rightarrow q \Leftrightarrow \neg p \vee q$
- 德摩根定律: $¬(p∧q)⇔¬p∨¬q\neg(p \wedge q) \Leftrightarrow \neg p \vee \neg q$ 和 $¬(p∨q)⇔¬p∧¬q\neg(p \vee q) \Leftrightarrow \neg p \wedge \neg q$
- 分配律: $\wedge (q \vee r) \Leftrightarrow (p \wedge q) \vee (p \wedge r)$ 和 $\vee (q \wedge r) \Leftrightarrow (p \vee q) \wedge (p \vee r)$
- 结合律: $\vee q) \vee r \Leftrightarrow p \vee (q \vee r)$