原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
谓词逻辑的等值和推理演算-SJTUCS
谓词逻辑的等值和推理演算
Prof. Junni Zou
邹君妮
/~zou-jn/
Dept. of Computer Science and Engineering
Shanghai Jiao Tong University
2 Mar. 2018
主要内容
谓词公式的等值
等值演算
范式（PNF, Skolem范式）
推理式及推理演算
归结推理
2
公式的等值
谓词公式 和 如果在任一解释下都有相同的真
值，就说和是等值的（或逻辑等价），记作
（或 ）
定理： iff ↔ 是普遍有效的
3
命题逻辑移植来的等值式
在命题逻辑的等值式中以谓词公式代入命题变项,
便可得谓词逻辑的等值式
命题逻辑中的等值公式在谓词逻辑中基本成立
例如：
p p (x)P(x) (x)P(x)
p q p q P(x)Q(x) P(x) Q(x)
4
量词转化型等值式
量词的转化
(x)(x) (x)(x)
(x)(x) (x)(x)
(x)(x) (x)(x)
(x)(x) (x)(x)
例：
(x)(Animal (x) Cat(x))并非动物都是猫
= (x)(Animal (x) Cat(x))
= (x)(Animal (x) Cat(x))存在不是猫的动物
5
量词分配等值式
量词对及的分配律
(x)((x)) (x)(x)
(x)((x)) (x)(x)
(x)((x)) (x)(x)
(x)((x)) (x)(x)
其中是命题变项，与个体变元x无关
6
量词分配等值式(续)
量词对 的分配律
(x)((x)) (x)(x)
(x)((x)) (x)(x)
(x)((x)) (x)(x)
(x)((x)) (x)(x)
其中是命题变项，与个体变元x无关
7
量词分配等值式(续)
对, 对的分配律
(x)((x)(x))
文档评论（0）