交大数理逻辑课件5-1 谓词逻辑的等值及推理演算.pptVIP

第5章 谓词逻辑的等值和推理演算 5.1 否定型等值式 5.2 量词分配等值式 5.3 范式 5.4 基本的推理公式 5.5 推理演算 5.6 谓词逻辑的归结推理法 5.1 否定型等值式 等值 设P、Q是任意两个谓词公式，若P?Q为普遍有效式，则称P与Q是等值的，记作 P?Q，或P=Q. 由命题公式移植来的等值式 若将命题公式的等值式，直接以谓词公式代入命题变项便可得谓词等值式 如由：?(P?Q) = ?P??Q ，得 ?((?x)F(x)?(?y)G(y)) = ?(?x)F(x)??(?y)G(y)) 如由： P?Q = ?P?Q (?x)F(x)?(?y)G(y) = ?(?x)F(x)?(?y)G(y) 5.1.2 否定型等值式 设P(x)是含自由变项x的任意谓词公式。则 ?(?x)P(x) = (?x)?P(x) ?(?x)P(x) = (?x)?P(x) 从语义上说明 ?(?x)P(x)：并非所有的x都具有性质P， 相当于至少存在一个x不具有性质P，即(?x)?P(x) 所以：?(?x)P(x) = (?x)?P(x) ?(?x)P(x)：并不存在一个x具有性质P 相当于没有x具有性质P，即(?x)?P(x) 所以，?(?x)P(x) = (?x)?P(x) 否定型等值式的分析 设P(x)是含自由变项x的任意谓词公式。则 ?(?x)P(x) = (?x)?P(x) ?(?x)P(x) = (?x)?P(x) 在{1, 2}域上分析 ?(?x)P(x) =?(P(1)?P(2)) =?P(1) ? ?P(2) = (?x)?P(x) 可见，否定词越过量词的内移规律，就是摩根律的推广 否定型等值式的证明 设P(x)是含自由变项x的任意谓词公式。则 ?(?x)P(x) = (?x)?P(x) ?(?x)P(x) = (?x)?P(x) 在语义上证明 A真T B真 设任一解释I下有 ?(?x)P(x)=T 则 (?x)P(x)=F 即存在一个x0,使P(x0)= F 于是，?P(x0)= T ∴在解释I下 (?x)?P(x)=T 否定型等值式举例 “天下乌鸦一般黑”的表示 设F(x): x是乌鸦，G(x,y): x与y是一般黑。 原句可表示成：若x是任一乌鸦，y是任一乌鸦，则x和y是一样黑的。 (?x)(?y)(F(x)?F(y)?G(x,y)) = (?x)(?y)(?(F(x)?F(y)) ? G(x,y)) =(?x)(?y)?((F(x)?F(y)) ? ?G(x,y)) =(?x) ?(?y) ((F(x)?F(y)) ? ?G(x,y)) =?(?x) (?y) ((F(x)?F(y)) ? ?G(x,y)) 不存在乌鸦x和乌鸦y，它们是不一样黑的。 5.2 量词分配等值式 量词对∨、 ∧的分配律 (?x)(P(x)∨q) = (?x)P(x)∨q (?x)(P(x)∧q) = (?x)P(x)∧q (?x)(P(x)∨q) = (?x)P(x)∨q (?x)(P(x)∧q) = (?x)P(x)∧q 设：P(x)是含自由变元x的任意谓词公式。 q是不含变元x的谓词公式 量词分配等值式的证明 (?x)(P(x)∨q) = (?x)P(x)∨q 量词分配等值式 量词对?的分配律 (?x)(P(x) ?q) = (?x)P(x) ? q (?x)(P(x) ? q) = (?x)P(x) ? q (?x)(q ? P(x)) = q ?(?x)P(x) (?x)(q ? P(x)) = q ?(?x)P(x) 量词分配等值式 量词?对∧的分配律 (?x)(P(x)∧Q(x)) = (?x)P(x)∧(?x)Q(x) 注意：?对?无分配律 从{1,2}域上分析 (?x)P(x) ? (?x)Q(x) =(P(1)∧P(2))?(Q(1)∧Q(2)) (?x)(P(x)?Q(x)) =(P(1)?Q(1)) ∧ (P(2)?Q(2)) =(P(1)∧P(2))?(P(1)∧Q(2))?(Q(1)∧P(2)) ? (Q(1)∧Q(2)) =(?x)P(x) ? (?x)Q(x) ?(P(1)∧Q(2))?(Q(1)∧P(2)) 量词分配等值式 量词? 对∨的分配律 (?x)(P(x)∨Q(x)) = (?x)P(x)∨(?x)Q(x) 注意：?对?无分配律 由前面证明代换得：