9第五章:等值演算与推理 豪 第一节:等值式与置换规则 心第二节:前束范式 第三节:推理理论3 第五章: 等值演算与推理 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论