谓词演算的推理理论-永真推理系统

- 第四章 谓词演算的推理理论 - 4.1 谓词演算的永真推理系统 4.1.1 公理系统的组成部分 4.1.2 公里系统的推理过程4.2谓词演算的假设推理系