1-3 逻辑等价式与永真蕴含式.pdf

离散数学 西安电子科技大学 软件学院 第一篇 数理逻辑 第1章 命题逻辑 第1课时 1.1 命题 第2课时 1.2 命题公式 第3课时 1.3 逻辑等价式与永真蕴含式 第4课时 1.4 主范式 第5课时 1.5 命题逻辑的推理与证明方法 第6课时 1.6 命题逻辑的应用 §1.3.1 逻辑等价式 西安电子科技大学 软件学院 逻辑等价: 例如： P ∧Q ⇔Q ∧P P→Q ⇔¬P ∨Q 与联结词“↔”不同，等价符“⇔”是一个 关系符，它表示命题公式A与B在相同的赋值 下总是等值的。 §1.3.1 逻辑等价式 西安电子科技大学 软件学院 证明： （i）充分条件 若A↔B为重言式，则A,B在相同的赋值下的真值 均相同，所以 A和B是逻辑等价的公式，即A⇔B. （ii ）必要条件 若A⇔B ，则有A,B在相同的赋值下的真值均相 同，所以 A ↔B为重言式. §1.3.1 逻辑等价式 西安电子科技大学 软件学院 §1.3.1 逻辑等价式 西安电子科技大学 软件学院 §1.3.1 逻辑等价式 西安电子科技大学 软件学院 §1.3.1 逻辑等价式 西安电子科技大学 软件学院 替换规则 【定理】将命题式A中的某个子公式B用与B等 价的另一个命题公式C置换，所得命题公式A′ 与A逻辑等价。 例如： R ∧( P →Q ) ⇔R ∧(¬ P ∨Q) 应用替换规则、代入规则和基本的逻 辑等价式，可以将一个公式变换为另 一个与之等价的公式 。 §1.3.2 永真蕴含式 西安电子科技大学