【多选题】下列谓词公式是等价的有()。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-02 20:37:55