原创力文档- 1、本文档共12页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
2.3 一阶逻辑等值式
Discrete Math.
离 散 数 学
第二章 一阶逻辑
First-order Logic
ÿ2.1 一阶逻辑基本概念
ÿ2.2 一阶逻辑合式公式及解释
ÿ2.3 一阶逻辑等值式
ÿ2.4 一阶逻辑推理理论
ÿ2.5 题例分析
2.3 一阶逻辑等值式
ÿ Def. 令A和B是Lp中的公式，若A´B为逻辑有效式，
则称A和B是等值的，记为A¤ B．
ÿ 1. 代换实例—— 由于重言式都是逻辑有效式，故P 的
9
24个等值式及其代换实例都是Lp中的等值式．
• xF(x) ¤ ÿÿxF(x)
• F(x)→G(y) ¤ ÿ F(x)∨G(y)
• x(F(x)→G(y))→$zH(z)
¤ ÿx(F(x)→G(y))∨$zH(z)
• 分别是p¤ÿÿ p, p→q¤ÿ p∨q …的代换实例
ÿ 注：换名规则与替换规则中，所得公式与原来的公式
等值。
2.3 一阶逻辑等值式
ÿ 2. 消去量词等值式
ÿ 当个体域为有限集时，如D {a ,…,a }
1 n
lxA(x) ¤ A(a )∧…∧A(a )，
1 n
l$xA(x) ¤ A(a )∨…∨A(a )。
1 n
ÿ 3.量词否定等值式(Th)：
l ① ÿxA(x) ¤ $xÿ A(x)
l ② ÿ$xA(x) ¤ xÿ A(x)
ÿ 如，“并非所有人都是大学生”与“有些人不是大学生”
ÿ 多重量词前置ÿ ，可反复应用该定理，将ÿ逐次右移．
ÿ 如，ÿxyzP(x,y,z) ¤ $x$y$zÿ P(x,y,z).
ÿ 当个体域为有限集时，如D {a ,…,a }
1 n
pxA(x) ¤ A(a )∧…∧A(a )
1 n
p$xA(x) ¤ A(a )∨…∨A(a )
1 n
• ÿxA(x)
• ¤ ÿ (A(a )∧A(a )∧…∧A(a ))
1 2 n
• ¤ ÿ A(a )∨ÿ A(a )∨…∨ÿ A(a )
1 2 n
• ¤ $xÿ A(x)
• ÿ$xA(x)
• ¤ ÿ (A(a )∨…∨A(a ))
1 n
• ¤ ÿ A(a )∧ÿ A(a )∧…∧ÿ A(a )
1 2 n
• ¤ xÿ A(x)
ÿ 4. 量词辖域收缩与扩张(Th)
• ① x(A(x)∨B) ¤ xA(x)∨B
• ② x(A(x)∧B) ¤ xA(x)∧B
• ③ x(A
文档评论（0）