查看原题
设 $A(x): x$ 是人, $B(x): x$ 是运动员, 则命题 “有的人是运动员”可符号化为
A. $\urcorner(\forall x)(A(x) \rightarrow B(x))$     B. $\urcorner(\exists x)(\neg A(x) \wedge \neg B(x))$     C. $(\forall x)(A(x) \wedge B(x))$     D. $(\exists x)(A(x) \wedge B(x))$         
不再提醒