[英语]第1章2谓词逻辑.pptVIP

引 入 陈述句=主语+谓语 例：张三是好学生。 李四是好学生。 王五是好学生。 赵六是好学生。 谓词逻辑 谓词、个体词和量词 形式化 谓词公式 四.谓词公式的解释 例1 1)P∧Q ? P 永真式的代换实例 6.量词的交换 七 范式 P77 前束范式:将所有的量词都放在谓词公式的前面。如 x y(P(x,y)∧Q(a)∧R(z))就是前束范式。 定理:存在性 求前束范式的方法： 谓词演算的推理理论 定义1.30 一个公式A的解释I由下面四部分组成： 1）非空个体域D。 2）D中一部分特定元。 3）D上一些特定函数。（个体＋函数＝项P63） 4）D上一些特定谓词。 ? 定义 指派(解释) 一组代入到谓词公式中，并使得谓词公式成为命题的确定的个体和命题称为公式的一组指派。 一个谓词公式一般含有个体变元、命题变元和谓词，只有当公式中的自由变元用某个体域中确定的个体代入，命题变元用确定的命题代入后，原公式才变成为一个命题。 当个体域为有限集时，如D={a1, ??an}由量词意义可见，对任谓词A(x)，有 ①??x A(x) ??A(a1)??A(a2)??????A(an)???②??x A(x) ??A(a1)??A(a2)??????A(an)? 在集合S={2，3，5，7，11}上，表示x都是素数：??x A(x)。 在集合S={2，3，5，6，7}上， 表示有x是素数：??x A(x) 例：给定解释I如下： 1）D={2，3}； 2）D中特定元a=2； 3）函数f(2)=3, f(3)=2； 4）谓词F(2)=0, F(3)=1； G(i, j)=1, i, j=2,3； L(2,2)=L(3,3)=1； L(2,3)=L(3,2)=0。 求下列各式真值。 1）?x（F(x)） ? G(x，a)）； 2）?x（F(f(x)) ? G(x, f(x))）； 3）?x ?yL（x, y）。 解：?（1）原命题 ?(F(2)? G(2，2))?(F(3)? G(3，2)） ? （0?1）?（1?1）? 0 （2）原命题 ? F(f(2))? G(2，f(2)))? F(f(3)? G(3，f(3))) ? （F（3）? G（2，3））? (F(2) ? G（3，2）) ? （1? 1）? （0? 1）? 1 （3）原命题 ?((L(2，2)? L(2，3))?(L(3，2)? L(3，3)) ? 1 ? 1 ? 1 ?? 五、公式的类型 定义1.31 给定谓词公式A，其个体域为E，如果对于任一组指派，公式A的值总是为真，则称A在E上式永真的。如果对于公式A的任一组指派，公式A的值总是为假，则称A在E上是永假的。如果至少存在着一组指派，使公式A的值为真，则称A在E上是可满足的。 例1 试说明下列各公式的类型（个体域取为全总个体域） （1） （2） （3） F(x) （其中F(x): x+6=5） （4） 解 (1) 永真公式 (2) 可满足公式 (3) 可满足公式 (4) 永假公式 解 （1） 可满足公式。 （2） 永假公式。 　（3） 永真公式。 　（4） 可满足公式。 例2 试说明下列各公式的类型。 （1） （2） （3） （4）P（x，y） 其中x，y的个体域为R；谓词P（x，y）：x=y； Q是命题变元. 定义1.32 代换实例A0是命题公式， x1, x2, …, xn是命题变项，用n个谓词公式A1 ,A2,…,An分别代换x1, x2, …, xn ，所得公式A称为A0的代换实例。 如：P(y) →Q (y) 都是p→q的代换实例。 定理:命题公式中的重言式的代换实例在谓词公式中可仍称为重言式，这样的重言式都是逻辑有效式。 定理:命题公式的等价式 如有 P?Q??P∨Q P(y) →Q (y) ?? P(y) ∨Q (y) 2)PVQ ? P 可满足式的代换实例 P(y) ∧ Q (y) →P(y) P(y)