1、所有北大学生(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))
2、“有的被告(B(x))不是诚实的(C(x))”谓词公式是
A、$x(B(x)∧��C(x))
B、"x(B(x)→C(x))
C、"x(B(x)→��C(x))
D、$x(B(x)∧C(x))
3、存在实例化规则限制要求假设存在名a必须是在推理中第（ ）次出现。
A、一
B、二
C、三
D、四
