>>242について、
∀∃⇒∃∀が偽なのは当然だが、
∃∀自体はどうなんだ?