用看的、听的学真题
study by eyes and ears.
2005年11月系统分析师考试上午真题【基础知识】（第56题）
收藏
【56】
设A（x）：x是金子，B（x）：x是闪光的，则命题“没有不闪光的金子，但闪光的不一定是金子”形式化为（56）。
-
A(∀x)(A(x)→B(x))∧(Ǝy)(A(y)→¬B(y))
-
B(∀x)(B(x)→A(x))∧(Ǝy)(¬A(y)∧B(y))
-
C(∀x)(A(x)→B(x))∧(Ǝy)(A(y)∧B(y))
-
D(∀x)(¬A(x)∨B(x))∧(Ǝy)(¬A(y)∧B(y))
