与“﹁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))
热门标签
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))
热门标签