∃xP(x)=¬∀x¬P(x)=¬(x→¬P(x))=x∧¬¬P(x)=x∧P(x)