数理逻辑期末考试试题(a卷)教案.pdfVIP

《数理逻辑 》期末考试试题(A卷) (请将所有答案写在答题纸上，不用抄题 ，但注意写清题号) 《中山大学授 予学士学位工作细则》第六条：”考试作弊不授 予学士学位。” 年级：2006级 班级：各班级 专业：各专业 任课教师：吴书印、蔡 国扬、周晓聪 一、单选题 （每小题2分，共20分，答案写在答题纸上，不用抄题 ） (1) 由n个命题变元组成的互不等值 的命题公式个数为( )： (A) 2n (B) 2n (C) n2 (D) 22n (2) 下面哪个命题公式是永真式？( ) (A) (p → q) ∧ (q → p ) (B) (p ∧ q) → p (C) (¬p ∨ q) ∧ ¬(¬p ∧ ¬q) (D) ¬(p ∨ q) (3) 一阶公式∀x(P (x) ∨ ∃yR(y)) → Q(x)中量词∀x 的作用域是( )： (A) ∀ (P (x) ∨ ∃yR(y)) (B) P (x) (C) (P (x) ∨ ∃yR(y)) (D) P (x), Q(x) (4) 设C (x)表示x是运动 员，G(x)表示x是强壮 的，则命题 “没有运动 员不是强壮 的”符号化 为( )： (A) ¬∀x(C (x) ∧ ¬G(x)) (B) ¬∀x(C (x) → ¬G(x)) (C) ¬∃x(C (x) ∧ ¬G(x)) (D) ¬∃x(C (x) → ¬G(x)) (5) 设F (x)表示x是火车 ，G(y)表示y是汽车 ，H (x, y)表示x 比y快，则命题 “有 的汽车 比所有 的 火车慢 ”符号化为( )： (A) ∃y (G(y) → ∀x(F (x) ∧ H (x, y))) (B) ∃y (G(y) ∧ ∀x(F (x) → H (x, y))) (C) ∀x∃y (G(y) → (F (x) ∧ H (x, y))) (D) ∃y (G(y) → ∀x(F (x) → H (x, y))) (6) 设论域D = {a, b}，公式∀xP (x) ∧ ∃xS (x)在D 中消除量词后应为( )： (A) P (x) ∧ S (x) (B) P (a) ∧ P (b) ∧ (S (a) ∨ S (b)) (C) P (a) ∧ S (b) (D) P (a) ∧ P (b) ∧ S (a) ∨ S (b) (7) 下列等值式中不正确的是( )： (A) ∀x(P (x) ∨ Q(x)) ⇔ ∀xP (x) ∨ ∀xQ(x) (B) ∀x(P (x) ∧ Q(x)) ⇔ ∀xP (x) ∧ ∀xQ(x) (C) ∃x(P (x) ∨ Q(x)) ⇔ ∃xP (x) ∨ ∃xQ(x) (D) ∀x(P (x) ∧ Q) ⇔ ∀xP (x) ∧ Q (8) 下列一阶公式是前束范式的是( )： (A) ∀x∀y∃z (B (x, y) → A(z)) (B) ¬∀x∃yB (x, y) (C) ∃x∀y¬∃x(A(x, y) ∧ B (x, y)) (D) ∀x(A(x, y) → ∃yB (y)) (9) 一阶公式∀x(P (x) ∨ ∃yR(y)) → Q(x)中的变量x是( )： (A) 约束变量 (B) 既不是 自由变量也不是约束变量 (C) 自由变量 (D) 既是约束变量也