“所有北大学生(Sx)都是聪明的(Px)”这一命题的逻辑形式，可用谓词公式表示为（）