离散数学一阶逻辑等值演算

- 1 - 主要内容一阶逻辑等值式与基本的等值式置换规则、换名规则、代替规则前束范式自然推理系统NL 及其推理规则 - 第五章 一阶逻辑等值演算与