第二章谓词逻辑(6学时).pptVIP

* 定义2.2.7 若存在解释I，使得G在解释I下取值为真，则称公式G为 可满足的，简称I满足G。若不存在解释I，使得I满足G，则称公式G为永假式（或矛盾式）。若G的所有解释I都满足G，则称公式G为永真式（或 重言式）。 2.2.3 谓词逻辑公式的解释 2.2 谓词逻辑公式与解释 * 例2.2.8 讨论下面公式的类型： （1）（?x）G（x）→（?x）G（x） （2）（?x）（?y）﹁F（x，y）∧（?x）（?y）F（x，y） （3）（?x）（F（x）→G（x）） 2.2.3 谓词逻辑公式的解释 2.2 谓词逻辑公式与解释 * 解 （1）公式在任何解释下的含义是：如果个体域中的每个元素都有性质G，则论域中的某些元素具有性质G。（?x）G（x）为真时，（?x）G（x）也为真，所以公式（?x）G（x）→（?x）G（x）为永真式。 （2）公式在任何解释下的含义是：个体域I中的每个x，y都不具备关系F，但存在某些元素具有关系F。这两个命题矛盾，所以公式（?x）（?y）﹁F（x，y）∧（?x）（?y）F（x，y）为永假式。 3）取解释I1：个体域为实数集合，F（x）：x是整数，G（x）：x是有理数。在解释I1下公式（?x）（F（x）→G（x））为真，因而公式不为矛盾式。 2.2.3 谓词逻辑公式的解释 2.2 谓词逻辑公式与解释 * 2.3 谓词逻辑约束公式的等价与蕴涵 2.3.1 谓词逻辑的等价公式 1．命题公式的推广 2．量词的转换 3．量词辖域的扩张与收缩 4．量词的分配律 2.3.2 谓词逻辑的蕴涵公式 2.3.3 多个量词的使用 * 2.3 谓词逻辑约束公式的等价与蕴涵 2.3.1 谓词逻辑的等价公式 定义2.3.1 设A、B是命题逻辑中的任意两个公式，设它们有共同的 个体域E，若对任意的解释I都有TI（A）= TI（B），则称公式A 、B在E上是等价的，记作A?B。 * 1．命题公式的推广 在命题逻辑中，任意一个永真式，其中同一命题变元用同一命题公式代换，所得到的公式仍为永真式，把这个情况推广到谓词逻辑之中，命题逻辑中的永真公式所有相同的变元用谓词逻辑中的同一公式代替，所得到的谓词公式为永真式，所以命题演算中的等价公式都可以推广到谓词逻辑中使用。例如 （?x）G（x）? ﹁﹁（?x）G（x） （?x）（A（x）→B（x））?（?x）（﹁A（x）∨B（x）） （?x）﹁（F（x）∨G（x））?（?x）（﹁F（x）∧﹁G（x）） 2.3 谓词逻辑约束公式的等价与蕴涵 2.3.1 谓词逻辑的等价公式 * 2．量词的转换 定理2.3.1 设G（x）是谓词公式，有关量词否定的两个等价公式： （1）﹁（?x）G（x）?（?x）﹁G（x） （2）﹁（?x）G（x）?（?x）﹁G（x） 证明 （1）设个体域是有限的为：D={ a1，a2，…，an}，则有 ﹁（?x）G（x）? ﹁（G（a1）∨ G（a2）∨…∨G（an）） ? ﹁G（a1）∧ ﹁G（a2）∧…∧﹁G（an） ? （?x）﹁G（x） 2.3 谓词逻辑约束公式的等价与蕴涵 2.3.1 谓词逻辑的等价公式 * 定理2.3.1 设G（x）是谓词公式，有关量词否定的两个等价公式： （1）﹁（?x）G（x）?（?x）﹁G（x） （2）﹁（?x）G（x）?（?x）﹁G（x） （2）设个体域是有限的为：D={ a1，a2，…，an}，则有 ﹁（?x）G（x）? ﹁（G（a1）∨ G（a2）∨…∨G（an）） ? ﹁G（a1）∧ ﹁G（a2）∧…∧﹁G（an） ? （?x）﹁G（x） 2.3 谓词逻辑约束公式的等价与蕴涵 2.3.1 谓词逻辑的等价公式 * 3．量词辖域的扩张与收缩 定理2.3.2 设G（x）是任意的含自由出现个体变项x的公式，B是不含x出现的公式，则有 （1）（?x）（G（x）∨B）?（?x）G（x）∨B （2）（?x）（G（x）∧B）?（?x）G（x）∧B （3）（?x）（G（x）→ B）?（?x）G（x）→ B （4）（?x）（B→G（x））? B →（?x）G（x） （5）（?x）（G（x）∨B）?（?x）G（x）∨B （6）（?x）（G（x）∧B）?（?x）G（x）∧B （7）（?x）（G（x）→ B）?（?x）G（x）→ B (8）（?x）（B→G（x））? B→（?x）G（x） 2.3 谓词逻辑约束公式的等价与蕴涵 2.3.1 谓词逻辑的等价公式 * 证明 （1）设D是个体域，I为任意解释，即用确定的命题及确定 的个体代替出现在?x（A（x）