第2章一阶逻辑 第2章一阶逻辑 2.1一阶逻辑的基本概念 2,2一阶逻辑公式及解释 23等值演算和前束范式 24一阶逻辑推理理论 2.5例题选解 习题二 dBac第2章 一阶逻辑 第2章 一阶逻辑 2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习 题 二