35.4.1 The Negation of a Statement
Core ideaFlip the whole sentence on its head: the negation of p is written ¬p, and its truth value is exactly opposite.
Module goal. Master the negation of statements, especially the pattern for statements with one quantifier, laying the foundation for rigorous reasoning ahead.