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

2023-06-23

与“﹁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))