离散数学【笔记】{谓词逻辑、公式的解释、等价关系、前束范式、推理形式和推理规则、综合推理方法}

公式的解释

公式的解释和真值

公式的分类

公式的判定问题

等价

 谓词演算中的基本等价公式

 其中，第4条量词分配律，任意只能是合取，而存在只能是析取

前束范式

前束范式的求解步骤

推理形式

推理规律

全称特指规则

存在特指规则

 全称推广规则

存在推广规则

谓词的演绎推理

谓词演绎举例一、苏格拉底三段论

谓词演绎举例二、三步走策略

 谓词的推理难点

 谓词演绎举例三、CP规则证明法

谓词举例四、反证法

谓词逻辑推理的应用

正确推导过程