Quantifier-negation rules (De Morgan for quantifiers)

The two named equivalences connecting negation with the universal and existential quantifiers. Negating a universal produces an existential of the negation; negating an existential produces a universal of the negation. These are the…