报告离散数学第2章第3节.pptVIP

§2—7 谓词演算的推理理论 谓词逻辑是命题逻辑的进一步深化和发展，谓词演算的推理方法，可以看作是命题演算推理方法的扩张。因此命题逻辑的推理理论在谓词逻辑中几乎可以完全照搬，只不过这时涉及的公式是谓词逻辑的公式罢了。 在谓词逻辑中，某些前提和结论可能受到量词的约束，为确立前提和结论之间的内部联系，有必要消去量词和添加量词，因此正确理解和运用有关量词规则是谓词逻辑推理理论中十分重要的关键所在。 0.0 这里A(x)是任意包括个体变元x的谓词公式，B是不包括个体变元x的任意谓词公式。 3、量词扩张/收缩律(1) 0.0 证明 当B为真时,左右两边都为真;否则, B为假,此时左右两边都等价于(?x)A(x), 证迄. (?x)A(x)∨B ? (?x)(A(x)∨B) 0.0 3、量词扩张/收缩律(2) 这里A(x)是任意包括个体变元x的谓词公式，B是不包括个体变元x的任意谓词公式。 0.0 证明 (?x)A(x)?B ?(?x)(A(x)?B) (B不含x) 证 (?x)A(x)?B ? ?(?x)A(x)∨B 条件表达式 ? (?x)? A(x)∨B 量词否定 ? (?x)(?A(x)∨B) 量词辖域扩张 ? (?x)(A(x)?B) 条件表达式 0.0 证明 B?(