Example 1.6.2
Writing Negations for Quantified Statements:
Rewrite the following formally (symbolically), then write formal and informal (textual) negations: