Massachusetts Institute of Technology: Srini Devadas and Eric Lehman's "Logic"

Read Section 3.5 on page 14 on the use of quantifiers with negation.

Click https://s3.amazonaws.com/saylordotorg-resources/wwwresources/site/wp-content/uploads/2011/09/CS202-logic-and-sets.pdf link to open resource.