变元的约束演示文件修改版.pptVIP

2-4 变元的约束 2-4.1变元的约束 定义1：指导变元（作用变元） 谓词公式中的一部分公式形式为(?x)P(x)，或(?x) P(x)，这里的?，?，后面所跟的x，称为相应量词的指导变元（作用变元）。 例如：(?x)(F(x)?(?y)(G(y)?H(x,y))) 2-4 变元的约束 定义2：量词作用域（量词辖域）： 给定谓词公式中，形式为(?x)P(x)， (?x) P(x)中的P(x)称为相应量词的作用域（辖域）。 例如: (?x)( F(x)?(?y)( G(y)?H(x,y) ) ) 2-4 变元的约束 定义3：约束变元(bound variable)： 在作用域中x的一切出现，称为x在该谓词公式中的约束出现，所有约束出现的变元，叫做约束变元。 例如: (?x)( F(x)?(?y)( G(y)?H(x,y) ) ) 2-4 变元的约束 定义4：自由变元(free variable)： 在谓词公式中，除去约束变元以外所出现的变元，称作自由变元。 自由变元可以在作用域外出现，也可以在作用域中出现，但它不受相应量词中的指导变元的约束，故我们可把自由变元看作是公式中的参数。 例如: (?y) (G(y)?H(x, y)) 举例说明：P63 例1 2-4.2换名(rename)规则 对公式中的约束变元，遵照一定规则更改名称符号，称为约束变元的换名。 把某个指导变元和其量词作用域中所有同名的约束出现, 都换成某个新的个体变元符号。即作用域中没有出现的变元名称。 例如: (?x)(A(x)∧B(x)) (?x)A(x)∧(?x)B(x) H(x,y)∨(?x)F(x)∨(?y)(G(y)?H(x,y)) ?(?y)(A(y)∧B(y)) ?(?y)A(y)∧(?z)B(z) ? H(x,y)∨(?z)F(z)∨(?u)(G(u)?H(x,u)) 2-4.3代入(substitute)规则 对于公式中的自由变元，也允许更改，这种更改叫做代入。 把某个自由变元的所有出现, 都换成某个新的个体变元符号，即原公式中没有出现的变元名称。 例如: A(x)∧B(x) (?x)A(x)∧B(x) H(x,y)∨(?x)F(x)∨(?y)(G(y)?H(x,y)) ? A(y)∧B(y) ? (?x)A(x)∧B(y) ? H(s,t)∨(?x)F(x)∨(?y)(G(y)?H(s,y)) 2-4.4 消去量词 需要指出，量词作用域中的约束变元，当论域的元素是有限时，客体变元的所有可能的取代是可枚举的。 设论域元素为a1，a2， … ，an。为有限个体域。 则 (?x)A(x) ? A(a1)∧A(a2 ) ∧ … ∧ A(an) (?x)A(x) ? A(a1)∨A(a2 ) ∨ … ∨ A(an) 2-4.4 消去量词 例: 个体域D={a,b,c}, 则 (?x)(?y)F(x,y) ?(?x) (F(x,a)∧F(x,b)∧F(x,c)) ? (F(a,a)∧F(a,b)∧F(a,c))∨ (F(b,a)∧F(b,b)∧F(b,c))∨ (F(c,a)∧F(c,b)∧F(c,c)) 示例：P65 (2) a), b) , (3) a) 2-4.4消去量词 P65 (2) a) (?x)P(x) ?P(a) ∧ P(b) ∧ P(c) e) (?x)R(x) ∧ (?x)S(x) ? (R(a)∧R(b)∧R(c))∧(S(a)∨S(b)∨S(c)) (3) a) (?x)(P(x) ∨Q(x)) ?(P(1)∨Q(1)) ∧ (P(2)∨Q(2)) ?(T∨F) ∧ (F∨T) ? T 2-4.5量词的次序： 命题中的多个量词，约定从左到右的次序读出。量词对变元的约束，量词的次序不能更改，否则与原命题意义不符。 比如：对任意的x，存在y，使得x+y=5。取个体域为实数集。 设：H(x,y)：x+y=5 则有：(?x) (?y)H(x,y)。这是一个真命题。 但是如果将量词顺序颠倒，得 (?y) (?x) H(x,y) 此式的含义为“存在着y，对于任意的x，都有x+y =5”，这就成了假命题。 作业(2-4) P65 (2) c) d) (4) a) (5) b)