指出下列谓词公式中的量词及其辖域.pdfVIP

练习 2.1 1、指出下列谓词公式中的量词及其辖域，指出各自由变元和约束变元，并回答它们是 否是命题： （1） x(P(x) ∨Q(x)) ∧R （R 为命题常元） （2 ） x(P(x) ∧Q(x)) ∧ xS(x) →T(x) （3） x(P(x) → y(B(x,y) ∧Q(y)) ∨T(y)) （4 ） P(x) →( y x(P(x) ∧B(x,y)) → P(x)) 解 （1）全称量词 ，辖域 P(x) ∨Q(x) ，其中 x 为约束变元， x(P(x) ∨Q(x)) ∧ R 是命题。 （2 ）全称量词 ，辖域 P(x) ∨Q(x) ，其中 x 为约束变元。 存在量词 ，辖域 S(x) ，其中 x 为约束变元。 T(x) 中 x 为自由变元。 x(P(x) ∧Q(x)) ∧ xS(x) →T(x) 不是命题。 （3 ）全称量词 ，辖域 P(x) → y(B(x,y) ∧Q(y)) ∨T(y) ，其中 x 为约束变元， T(y) 中 y 为自 由变元。 存在量词 ，辖域 B(x,y) ∧Q(y) ，其中 y 为约束变元。 x(P(x) → y(B(x,y) ∧Q(y)) ∨T(y)) 是命题。 （4 ）全称量词 ，辖域 x(P(x) ∧B(x,y)) ，其中 y 为约束变元。 存在量词 ，辖域 P(x) ∧B(x,y) ，其中 x 为约束变元。 不在量词辖域中的 P(x) 中的 x 为自由变元。 P(x) →( y x(P(x) ∧B(x,y)) → P(x)) 不是命题。 2、对个体域 {0 ， 1} 判定下列公式的真值 , E(x) 表示“ x 是偶数”： （1） x(E(x) →┐ x=1) （2 ） x(E(x) ∧┐ x=1) （3） x(E(x) ∧x=1) （4 ） x(E(x) →x=1) 再将它们的量词消去 ,表示成合取或析取命题公式，鉴别你所确定的真值是否正确。 解 （1） x(E(x) →┐ x=1) 真 x(E(x) →┐ x=1) 可表示成命题公式（ E(0) →┐ 0=1 ）∧（ E(1) →┐ 1=1） 其中 E(0) →┐ 0=1 真， E(1) →┐ 1=1 也真，故（ E(0) →┐ 0=1 ）∧（ E(1) →┐ 1=1）真。 （2） x(E(x) ∧┐ x=1) 假 x(E(x) ∧┐ x=1) 可表示成命题公式（ E(0) ∧┐ 0=1 ）∧（ E(1) ∧┐ 1=1） 其中 E(0) ∧┐ 0=1 真，但 E(1) ∧┐ 1=1 假，故（ E(0) ∧┐ 0=1 ）∧（ E(1) ∧┐ 1=1）假。 （3） x(E(x) ∧x=1) 假 x(E(x) ∧x=1) 可表示成命题公式 (E(0) ∧0=1) ∨ (E(1) ∧1=1) 其中 E(0) ∧0=1 假， E(1) ∧ 1=1 也假，故 (E(0) ∧0=1) ∨ (E(1) ∧ 1=1)假。 （4 ） x(E(x) →x=1) 真 x(E(x) → x=1) 可表示成命题公式 (E(0) →0=1) ∨ (E(1) → 1=1) 其中 E(0) →0=1 假，但 E(1)→ 1=1 真，故 (E(0) →0=1) ∨ (E(1) → 1=1)真。 3、设整数集为个体域，判定下列公式的真值 ( 表示数乘运算 ) ： （1） x y(x y=x) （2 ） x y (x y=1) （3） x