全称量词消去.ppt

第5章 谓词逻辑的等值和推理演算 谓词逻辑研究的对象是重要的逻辑规律，普遍有效式是最重要的逻辑规律，而等值式、推理式都是普遍有效的谓词公式，因此等值和推理演算就成了谓词逻辑的基本内容． 这章的讨论，主要是以语义的观点进行的非形式的描述，而严格的形式化的讨论见第6章所建立的公理系统． 5．1 否定型等值式 等值：若给定了两个谓词公式A，B，说A和B是等值的，如果在公式A，B的任一解释(注意在谓词逻辑中，解释的范围还包含论域以外的其他要素，见P65)下，A和B都有相同的真值． 其他说法：A，B等值当且仅当A?B是普遍有效的公式(注意这里不再说重言式了)．记作A＝B或A?B。 5．1．1 由命题公式移植来的等值式 若将命题公式的等值式，直接以谓词公式代入命题变项便可得谓词等值式．由 ﹁﹁p＝p,p→q=﹁p∨q, (p∧q)∨r=(p∨r)∧(q∨r) 可得(以下每两个为一对：无量词、有量词) ﹁﹁P(x)＝P(x) ﹁﹁(?x)P(x)＝(?x)P(x) P(x)→Q(x)＝﹁P(x)∨Q(x) (?x)P(x)→(?x)Q(x)＝﹁ (?x)P(x)∨(?x)Q(x) (P(x)∧Q(x))∨R(x)=(P(x)∨R(x))∧(Q(x)∨R(x)) ((?x)P(x)∧Q(y))∨(?z)R(z) =((?x)P(x)∨(?z)R(z))∧(Q(y)∨(?