与“﹁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))
与“﹁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))
相关答案
热门答案