谓词逻辑

命题逻辑中的注意事项

1. 命题：是判断句，不是感叹词。命题逻辑中的注意事项

命题逻辑中的注意事项命题逻辑中的注意事项

P (P Q)=(P P) (P Q)∧∨∧∨命题逻辑中的注意事项

5. ∨∧谓词逻辑

命题逻辑的局限谓词与个体词谓词与个体词

函数与量词

G(x)

函数与谓词的区别量词

量词命题逻辑与谓词逻辑合式公式的定义

自然语言的形式化(1)

自然语言的形式化自然语言的形式化

2．有的实数是有理数

自然语言的形式化

自然语言的形式化

3．没有无理数是有理数

谓词逻辑的等值演算谓词逻辑的等值演算

谓词逻辑的等值演算量词分配

∀∨∨

量词分配∀量词分配∀

量词分配∀量词分配∀∨

前束范式前束范式

前束范式谓词逻辑的等值演算

7(( x)( y)(P(a,x,y))

∀

化为前束范式的步骤谓词逻辑的推理

谓词逻辑的推理举例例1. 消解原理(归结原理principle)

消解原理消解原理

前提成立

消解推理步骤

消解原理-完备性

S

消解推理举例消解推理举例

S={PVQ,7PVR,7QVS,7S,7R}

谓词逻辑中的消解原理置换(substitution)

合一(unification)

置换

θ,λ

斯柯林(Skolem)范式最一般合一

一个公式集合的合一置换可能不唯一

谓词逻辑中的消解原理谓词逻辑中的消解原理谓词逻辑中的消解原理举例

谓词逻辑中的消解原理∀

谓词逻辑中的消解原理举例问题

谓词逻辑,张长水宽度优先

例如证支持集优先策略

每次归结时，要归结的两个子句谓词逻辑,张长水

57

支持集优先策略

选择支持集合很重要

∧

单元子句优先

删除策略

删除在归结时产生的无用子句，从而减少了中反演过程求解

举例

例谓词逻辑,张长水62

举例先证明：谓词逻辑,张长水63举例