Scientific reasoning

…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 >