A、大于等于B、等于C、小于等于D、可能大于也可能小于
A、┐∀xA(x)⇔∃x┐A(x)
B、┐∃xA(x)⇔∀x┐A(x)
C、┐∃x(M(x)∧┐F(x))⇔∀x(M(x)→F(x))
D、┐∀x(F(x)→G