所有北大学生（S（x））都是聪明的（P（x））”谓词公式是（）

所有北大学生（S（x））都是聪明的（P（x））”谓词公式是（）
A."x（S（x）→P（x））
B."x（S（x）→﹁P（x））
C.$x（S（x）∧P（x））
D.$x（S（x）∧﹁P（x））
正确答案："x（S（x）→P（x））