第5章谓词逻辑的等值和推理演算.PDF

第5章 谓词逻辑的等值和推理演算  谓词逻辑研究的对象是重要的逻辑规律，普遍 有效式是最重要的逻辑规律  等值和推理演算是谓词逻辑的基本内容  同命题逻辑相比，由于量词谓词的引入，使谓 词演算有着广泛的应用  这章的讨论，主要是以语义的观点进行的非形 式的描述，而严格的形式化的讨论见第6章所 建立的公理系统 5.1 否定型等值式  若给定了两个谓词公式A ，B，说A和B是等值的，如果在公式A ， B的任一解释下，A和B都有相同的真值 在谓词逻辑中，需要给出解释的内容包括(见P65): (1) 论域 (2) 谓词变项 (3) 命题变项 (4) 函数 (5) 自由个体  等价的说法: A ，B等值当且仅当AB是普遍有效的公式 记作A ＝B或AB 5.1.1 由命题公式移植来的等值式  若将命题公式的等值式，直接以谓词公式代入命题变项便可 得谓词等值式．由 ﹁﹁p＝p, p→q ﹁p∨q, (p∧q)∨r=(p∨r)∧(q∨r) 可得 1. ﹁﹁P(x)＝P(x) 2. ﹁﹁(x)P(x) ＝(x)P(x) 3. P(x)→Q(x)＝﹁P(x)∨Q(x) 4. (x)P(x)→(x)Q(x) ＝﹁(x)P(x) ∨(x)Q(x) 5. (P(x)∧Q(x))∨R(x)=(P(x)∨R(x))∧(Q(x)∨R(x)) 6. ((x)P(x) ∧Q(y))∨(z)R(z) =((x)P(x) ∨(z)R(z)) ∧(Q(y)∨(z)R(z)) 5.1.2 否定型等值式(摩根律的推广) ﹁(x)P(x)=(x) ﹁P(x) ﹁(x)P(x)=(x) ﹁P(x)  形式上看这对公式，是说否定词”﹁”可越过 量词深入到量词的辖域内，但要把所越过的 量词转换为，转换为 (1)从语义上说明  ﹁(x)P(x)语义上表示的是，并非所有的x都具有性 质P．这相当于，有一个x不具有性质P，这正是(x) ﹁P(x)的含义.  由语义分析知﹁(x)P(x) 与(x) ﹁P(x)表示的是同一 命题，自然有 ﹁(x)P(x)=(x) ﹁P(x) (x)P(x)= ﹁(x) ﹁P(x)  类似的有﹁(x)P(x)=(x) ﹁P(x) (x)P(x)= ﹁(x) ﹁P(x) 说明  ﹁(x)P(x)与(x) ﹁P(x)不等值 如P(x)表示x是有理数 前者的语义是并非所有的x都是有理数 后者的语义是说所有的x都不是有理数 这两句话是不同的  ﹁(x)P(x)与(x) ﹁P(x)也不等值 ﹁(x)P(x)=(x) ﹁P(x) (x) ﹁P(x)=﹁(x)P(x) (2)在{1，2}域上分析  ﹁(x)P(x) = ﹁(P(1)P(2)) = ﹁P(1)﹁P(2) =(x) ﹁P(x)  ﹁(x)P(x) = ﹁(P(1)P(2)) = ﹁P(1)﹁P(2) =(x) ﹁P(x) (3)语义上的证明  依等值式定义，A=B如果在任一解释I下A真B就真，而且B真A 就真． 若证明﹁(x)P(x)=(x) ﹁P(x) 1. 设任一解释I下有﹁(x)P(x)=T 从而(x)P(x)=F ，即有一个x D,使P(X )=F o o 于是﹁P(x )=T o 故在I下(x) ﹁P(x)=T 2. 反过来，设任一解释I下有(x) ﹁P(x)=T 即有一个x D,使﹁P(X )=T o o 从而P(X )=F o 于是(x)P(x)=F 即﹁(x)P(x)=T (4) 举例 例1 “并非所有的动物都是猫”的表示 设 A(x