【单选题】命题“尽管有人聪明,但未必一切人都聪明”的符号化(P(x):x是聪明的,M(x):x是人)

A、∃x(M(x)∧P(x))∧¬(∀x(M(x)→P(x)));
B、∃x(M(x)→P(x))∧¬(∀x(M(x)→P(x)));
C、∃x(M(x)∧P(x))∨¬(∀x(M(x)→P(x))).
D、∃x(M(x)∧P(x))∧¬(∀x(M(x)∧P(x)));