谓词演算与消解(归结)原理_图文.ppt
3.1 命题演算
3.1.1 符号和命题
命题演算的符号：是命题符号,命题符号代表命题，是关于现实世界的能分辨真假值的陈述句。 命题符号：P，Q，R，S，T
命题演算的符号：真值符号：True, false 联结词：∨，∧，~，=>，＝通过联结词可把多个命题组成合成的命题，也称为合式公式。
3.1.2 命题演算的语义
3.1 命题演算
—如两个命题表达式 在任何真值指派下都有相同的值，则称为是等价的（P 29 ）表2.2所示的真值表证明：   P=>Q 与 ~P ∨Q 等价。—对于命题表达式 P，Q，R   ~ (~P)=P ;  (P∨Q) ＝ (~P=>Q)