Example 1.7.2 Understanding Statements with Multiple Quantifiers

Negate the following logical statements and translate into informal English.

  1. people p such that time t, you can please p.


  2. people p, time t | you can please p.


  3. people p and time t | ~(you can please p)