9第五章:等值演算与推理 豪 第一节:等值式与置换规则 第二节:前束范式 第三节:推理理论
1 第五章: 等值演算与推理 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论
9第五章:等值演算与推理 豪 口主要内容 阶逻辑等值式与基本的等值式 ●置换规则、换名规则、代替规则 ●前束范式 ●自然推理系统Nz及其推理规则 2
2 第五章: 等值演算与推理 ❑主要内容 ⚫ 一阶逻辑等值式与基本的等值式 ⚫ 置换规则、换名规则、代替规则 ⚫ 前束范式 ⚫ 自然推理系统NL 及其推理规则
9第五章:等值演算与推理 豪 第一节:等值式与置换规则 心第二节:前束范式 第三节:推理理论
3 第五章: 等值演算与推理 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论
951等值式与置换规则 豪 口等值式:公式A,B的等价式A4B为永 真式 ◆符号:A◇B,也称A逻辑恒等于B 等价定义:对任意解释 12A当且仅当|2B
4 ❑等值式：公式A，B的等价式A↔B为永 真式 ❖符号：AB，也称A逻辑恒等于B ❖等价定义：对任意解释I I ²A 当且仅当 I ²B 5.1 等值式与置换规则
951等值式与置换规则 豪 口第一类等值式:命题逻辑的重言式的代 换实例 理由:重言式的代换实例都是永真式 口例 令VXF(X)分--VXF(x) TA今A 令F(x)→G(x)台-F(x)VG(x) A→BAVB 5
5 ❑第一类等值式：命题逻辑的重言式的代 换实例 ❖理由：重言式的代换实例都是永真式 ❑例 ❖x F(x) x F(x) ❖F(x) → G(x) F(x) G(x) ¬¬AA A→ B ¬ A B 5.1 等值式与置换规则