与“﹁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))”相等值的谓词公式是()
A.$x(A(x)∧﹁B(x))
B.$x﹁(A(x)∧B(x))
C."x(A(x)∧﹁B(x))
D."x﹁(A(x)→B(x))
参考答案: