找考题网-背景图
单项选择题

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

设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))