单项选择题

“有的S 不是P”用一阶公式表达正确的有()

A.$x(Sx∧ØPx)
B."x(Sx→ØPx)
C.$x(Sx→ØPx)
D.Ø"x(Sx∧Px)