单项选择题

设A(x):x是人,B(x):x是学生,则命题“有的人是学生”可符号化为()

A.(∀x)(A(x)∧B(x))
B.┐(∀x)(A(x)→B(x))
C.(∃x)(A(x)∧B(x))
D.┐(∃x)(A(x)∧┐B(x))

热门 试题