“有的被告(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))