离散数学 课件 2.5 谓词演算的等价式和蕴含式.pptx

02谓词逻辑2.5谓词演算的等价式和蕴含式PredicateLogic/EquivalencesImplications

目录CONTENTS01基本概念介绍等价式与蕴含式的数学定义，建立本章学习的基础逻辑框架。02命题演算推广探讨命题逻辑中的等价式如何扩展并应用于谓词逻辑的分析场景。03谓词演算特有公式重点讲解消去量词、量词否定、辖域收缩与扩张及量词分配律等核心公式。04综合例题解析通过具体例题，掌握运用等价式和蕴含式进行逻辑推理证明和符号化的技巧。

定义2.12：等价式(Equivalence)▍定义内容给定任何两个谓词公式A和B,设它们有共同的个体域E,若对