谓词逻辑练习及答案[整理].pdfVIP

第二章 谓词逻辑 练习一 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 解 （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)