9第五章:等值演算与推理 豪 口主要内容 阶逻辑等值式与基本的等值式 ●置换规则、换名规则、代替规则 ●前束范式 ●自然推理系统Nz及其推理规则 22 第五章: 等值演算与推理 ❑主要内容 ⚫ 一阶逻辑等值式与基本的等值式 ⚫ 置换规则、换名规则、代替规则 ⚫ 前束范式 ⚫ 自然推理系统NL 及其推理规则