第2章一阶逻辑..pptVIP

(2)因为x-y?x+y在I中的真值不确定，当指派x=1,y=1时，0?2，即x-y?x+y取值为真；当指派x=1,y=-1时，2?0不成立，即x-y?x+y取值为假，所以，公式G(x-y,x+y)是可满足式。 (3)无论在个体域I中对x，y指派什么个体常元，G(x,y)??G(x,y)总为假，从而?x?y(G(x,y)??G(x,y))?Q总为假，所以该公式是永假式。 * 2.3.1 谓词公式的基本等价关系 1. 由命题逻辑推理定律推广而来的谓词逻辑推理定律 利用代入定理将命题逻辑中的推理定律推广而得到谓词逻辑中的推理定律。 如在命题逻辑中有公式： G?H?G，G?G?H， 可推广而得： ?xA(x)??yB(y)??xA(x)， ?xA(x)??xA(x)??yB(y) 等等。 2.3 一阶逻辑等值式 2. 由基本等值式生成的推理定律 前面给出的等值式中的每个等值式可生成两个推理定律。例如， ?xA(x)????xA(x)，???xA(x)??xA(x) 和??xA(x)??x?A(x), ?x?A(x)???xA(x) 等等。 2.3.1 谓词公式的基本等价关系 2.3 一阶逻辑等值式 * 3. 关于量词与联结词的一元谓词等值式 1)消去量词等值式 ? 设个体域为有限集D={a1,a2,…,an}，则有 (1)?xA(x)=A(a1)?A(a2)?…?A(an) (2)?xA(x)=A(a1)?A(a2)?…?A(an) 2)量词否定等值式（转换律） (1)??xA(x)=?x?A(x) (2)??xA(x)=?x?A(x) 2.3.1 谓词公式的基本等价关系 2.3 一阶逻辑等值式 * 2.3.1 谓词公式的基本等价关系 2.3 一阶逻辑等值式 * 2.3.1 谓词公式的基本等价关系 2.3 一阶逻辑等值式及置换规则 * 2.3.1 谓词公式的基本等价关系 2.3 一阶逻辑等值式 * 3)量词辖域的收缩与扩张律(下述等值式中，变元x不在B中出现) (1)?x(A(x)?B)??xA(x)?B (2)?x(A(x)?B)??xA(x)?B (3)?x(A(x)?B)??xA(x)?B (4)?x(B?A(x))?B??xA(x) (5)?x(A(x)?B)??xA(x)?B (6)?x(A(x)?B)??xA(x)?B (7)?x(A(x)?B)??xA(x)?B (8)?x(B?A(x))?B??xA(x) 2.3.1 谓词公式的基本等价关系 2.3 一阶逻辑等值式 * 4)量词分配律 (1)?x(A(x)?B(x))??xA(x)??xB(x) (2)?x(A(x)?B(x))??xA(x)??xB(x) 要特别注意的是，量词分配律中的“?”和“?”联结词不要记错。 2.3.1 谓词公式的基本等价关系 2.3 一阶逻辑等值式 * 例 3 证明下列各等价式 (1)﹁(?x)(F(x)∧G(x))=(?x)(F(x)→﹁G(x)) (2)﹁(?x)(F(x)→G(x))=(?x)(F(x)∧﹁G(x)) 证明 (1)﹁(?x)(F(x)∧G(x)) =(?x)﹁(F(x)∧G(x)) =(?x)(﹁F(x)∨﹁G(x)) =(?x)(F(x)→﹁G(x)) 2.3.2 常用等值式及等值演算 2.3 一阶逻辑等值式 * 证明 （2） ﹁（?x）（F（x）→G（x）） =（?x）﹁（F（x）→G（x）） =（?x）﹁（﹁F（x）∨G（x）） =（?x）（F（x）∧﹁G（x）） 2.3.2 常用等值式及等值演算 2.3 一阶逻辑等值式 * 例 4 证明下列等值式。 (1) (?x)P(x)→Q(x)=?y(P(y)→Q(x)) 证明 (?x)P(x)→Q(x) = ?(?x)P(x) ? Q(x) =?x?P(x)?Q(x) = ?y?P(y)?Q(x) = ?y(?P(y)?Q(x)) =?y(P(y)?Q(x)) 2.3.2 常用等值式及等值演算 2.3 一阶逻辑等值式 * (2)?x(A(x)→B(x))=?xA(x)→?xB(x) 证明 ?x(A(x)?B(x)) =?x(?A(x)?B(x)) =?x?A(x)??xB(x) =??xA(x)??xB(x) =?xA(x)??xB(x) 2.3.2 常用等