交大数理逻辑课件5-1谓词逻辑的等值和推理演算

- 第5章 谓词逻辑的等值和推理演算 - 5.1 否定型等值式5.2 量词分配等值式5.3 范式5.4 基本的推理公式5.5 推理演算5.6 谓词逻辑的