...the statement that there exists a swan (∃(x)) which is not white (-Q(x)) is tantamount to saying that not all swans (-∀(x)) are white (Q(x)), i.e.,
∃(x) -Q(x). = -∀(x) Q(x).
Mueller. 1989. From ontology to analytical theory
Pablo F. Méndez