离散数学 课件 1.5 等价公式.pptx

第一章·命题逻辑1.5等价公式逻辑世界的化简魔法

本节内容概览01.等价公式的定义与基本性质?等价公式的定义与相关定理

?常用的基本等价关系（命题定律）02.等值演算的核心规则?代入规则：重言式中命题变元的统一替换

?置换规则：公式子公式的等价替换03.等价公式的应用场景?判断公式的类型（重言式/矛盾式/可满足式）

?证明两个公式的等价性与逻辑化简问题04.联结词的全功能集?冗余联结词与独立联结词的概念

?全功能集的定义与极小联结词组

定义1.19：等价公式定义内容给定两个命题公式A和B，设P?，P?，…，P?是所有出现于A和B中的原子变元，若给P?，P?，…，P