第三章 谓词逻辑语义
3.1 合式公式语义
3.2 推论关系与相等关系语义
3.2.1 推论与等价关系的语义
3.2.2 推论判断的方法
谓词逻辑合式公式组成的推论式有区别于命题逻辑合式公式的判断方法，分别是谓词逻辑的演绎定理，后面学到逻辑证明时还会有另一个演绎定理，反证律和前束范式。这些只是技巧方法，实际证明可能综合适用，以指派函数法为本，辅以推论方法之术。
谓词逻辑合式公式组成的推论式有区别于命题逻辑合式公式的判断方法，分别是谓词逻辑的演绎定理，后面学到逻辑证明时还会有另一个演绎定理，反证律和前束范式。这些只是技巧方法，实际证明可能综合适用，以指派函数法为本，辅以推论方法之术。