谓词演算和消解原理.pptVIP

第三案调词演与解(归结)原理 命题演算 口谓词演算 中推理规则产生谓词演算表达式 口一应用 归结原理  3。命题演 3.1.1符号和命题 命题演算的符号:是命题符号,命题符号代表命题,是 关于现实世界的能分辨真假值的陈述句。命题符号: P,Q,R, S, T 命题演算的符号: 真值符号:True, false 联结词:√,∧,,=,= 通过联结词可把多个命题组成合成的命题,也称为 合式公式。 Department of Computer Science Technology, Nanjing University Artificial Intelligence Spring  3。命题演第 3.1.2命题演算的语义 如两个命题表达式在任何真值指派下都有相同的值, 则称为是等价的 (P29)表22所示的真值表证明:P=Q与~P √Q等价。 一对于命题表达式P,Q,R ~(~P)=P;(PVQ)=(~P=Q)  3。命题演 否定律:~P∨Q)=(-P∧~Q ~(P∧Q=(PV~Q) 分配律:PV(Q∧R)=(PVQ∧PVR) 分配律:P∧(QVR=(P∧QV(P∧R) 交换律:(P∧Q=(Q∧P) 交换律:(PVQ=(QVP) 结合律:(P∧Q∧R)=(P∧(Q∧R)) 结合律:( PVQVR)=(PV(QVR) 置