与“﹁x(A(x)→B(x))”相等值的谓词公式是()

8 查阅

与“﹁x(A(x)→B(x))”相等值的谓词公式是()

A.$x(A(x)∧﹁B(x))

B.$x﹁(A(x)∧B(x))

C."x(A(x)∧﹁B(x))

D."x﹁(A(x)→B(x))

参考答案:

答案:$x(A(x)∧﹁B(x))