单击此处编辑母版标题样式主要内容等值式与基本的等值式等值演算与置换规则析取范式与合取范式主析取范式与主合取范式联结词完备集可满足性问题与消解法第二章 命题逻辑等值演算12.1 等值式定义2.1 若等价式A?B是重言式则称A与B等值记作A?B并称A?B是等值式几点说明：定义中A B ?均为元语言符号 A或B中可能有哑元出现. 例如 (p?q) ? ((?p?q)?(?r?r)) r为

单击此处编辑母版标题样式主要内容一阶逻辑等值式与基本的等值式置换规则换名规则代替规则前束范式自然推理系统NL 及其推理规则第五章 一阶逻辑等值演算与推理15.1 一阶逻辑等值式与置换规则定义5.1 设A B是两个谓词公式 如果A?B是永真式 则称A与B等值 记作A?B 并称A?B是等值式基本等值式第一组 命题逻辑中16组基本等值式的代换实例 例如???xF(x)??xF(x)

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第五章 一阶逻辑等值演算与推理主要内容：重要的等值式① 在有限个体域内消去量词等值式② 量词否定等值式③ 量词辖域收缩与扩张等值式④ 量词分配等值式基本规则① 置换规则② 换名规则③ 代替规则前束范式与公式的前束范式自然推理系统F要求：深刻理解并记住重要等