下列谓词公式是等价的有()。A.┐(∀x)A(x)⇔(∃x)┐A(x)B.┐(∃x)A(x)⇔(∀x)┐A(x)C.┐(∃x)(M(x)∧┐F(x))⇔(∀x)(M(x)→F(x))D.┐(∀x)(F(x)→G(x))⇔(∃x)(F(x)∧┐G(x))
下列谓词公式是等价的有()。
A、┐(∀x)A(x)⇔(∃x)┐A(x)
B、┐(∃x)A(x)⇔(∀x)┐A(x)
C、┐(∃x)(M(x)∧┐F(x))⇔(∀x)(M(x)→F(x))
D、┐(∀x)(F(x)→G(x))⇔(∃x)(F(x)∧┐G(x))
发布时间:2025-07-03 20:14:41