“有的被告(B(x))不是诚实的(C(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))

正确答案:$x(B(x)∧﹁C(x))