谓词符号化 — 数学选择题
题目
设论域为全体整数，F(x)：x 是偶数，G(x)：x 是 3 的倍数，H(x)：x 是负数。命题「存在既是偶数又是 3 的倍数的整数」的符号化为（ ）；命题「任何偶数都不是负数」的符号化为（ ）；命题「并非所有 3 的倍数都是偶数」的符号化可等值改写为（ ）。
A. ∃x(F(x)∧G(x))；∀x(F(x)→¬H(x))；∃x(G(x)∧¬F(x))
B. ∃x(F(x)∧G(x))；∀x(¬F(x)∧¬H(x))；∃x(G(x)∧¬F(x))
C. ∃x(F(x)∨G(x))；∀x(F(x)→¬H(x))；∀x(¬G(x)∨¬F(x))
D. ∃x(F(x)∧G(x))；∀x(F(x)→¬H(x))；¬∃x(G(x)∧F(x))