谓词逻辑初步 与推理规则
谓词逻辑初步 与推理规则 1
回顾 问题1:什么是命题逻辑? 与命题真假有关的判断 问题2:如何判断命题表达式的真假? 真值表与常用逻辑等价 问题3:如何判定命题可满足? 范式与主范式
回顾 2 问题1：什么是命题逻辑？ - 与命题真假有关的判断 问题2：如何判断命题表达式的真假？ - 真值表 与 常用逻辑等价 问题3：如何判定命题可满足？ - 范式 与 主范式
本节提要 问题1:什么是(一阶〕谓词逻辑? 问题2:如何进行推理?
本节提要 问题1：什么是(一阶)谓词逻辑？ 问题2：如何进行推理？
引例 口人都要死的,苏格拉底是人,所以苏格拉底要 死的 a father(x, y)A father(y, z)->grandfather(x, z) 口命题逻辑无法处理上述推理!
引例 人都要死的，苏格拉底是人，所以苏格拉底要 死的 father(x, y) father(y, z) → grandfather(x, z) 命题逻辑无法处理上述推理！
谓词( Predicate) 口如果x是整数,“x大于2”不是命题,它的真值 依赖于x的取值 口可以将“x大于2表示为P(x) 口谓词:P(x)可以视同关于x的一个属性的取值( 个函数) 口P的定义域是整数集,其值域是{TF} 口P(3)是一个取值为T的命题 口“for叫lIx,P(x)”是一个取值为F的命题 口“存在一个x,P(x)”是一个真值为T的命题
谓词（Predicate） 如果 x 是整数，“x 大于2” 不是命题，它的真值 依赖于 x 的取值 可以将“x 大于2”表示为 P(x)。 谓词：P(x)可以视同关于x的一个属性的取值(一 个函数） P 的定义域是整数集，其值域是 { T, F } P(3)是一个取值为T 的命题 “for all x, P(x)”是一个取值为 F 的命题 “存在一个x，P(x)”是一个真值为T 的命题