第2章谓词逻辑 .1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论第2章 谓词逻辑 2.1 谓词逻辑基本概念 2.2 谓词公式及其解释 2.3 谓词逻辑等值式 2.4 一阶逻辑的推理理论