“所有的学生今天都没来上课”，设P(x):x今天来上课，M(x):x是学生
可用谓词公式表示为

A ┐(∃x)(M(x)∧P(x))
B (∃x)(M(x)∧┐P(x))
C (∀x) (M(x)→┐P(x))
D A和C都可以