一阶逻辑推理--离散数学

- 3.3、 谓词演算的推理理论 - 在谓词演算中，推理的形式结构仍为