离散数学谓词逻辑推理

- 第二章 谓词逻辑 - 第3节 一阶逻辑推理理论 - - - 推理的定义