设 $A(x): x$ 是人, $B(x): x$ 是运动员, 则命题 “有的人是运动员”可符号化为
$\text{A.}$ $\urcorner(\forall x)(A(x) \rightarrow B(x))$
$\text{B.}$ $\urcorner(\exists x)(\neg A(x) \wedge \neg B(x))$
$\text{C.}$ $(\forall x)(A(x) \wedge B(x))$
$\text{D.}$ $(\exists x)(A(x) \wedge B(x))$