离散数学一阶逻辑等值演算与推理省公开课一等奖全国示范课微课金奖PPT课件

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