首页 › 答案 › 题库 › 慕课 › 未分类

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

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