：”x(S（x）→P(x))“有的被告(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)).