For a given predicate you might believe that the statements or are either true or false. How would you decide if you were correct in each case? You have four choices: you could give an example of an element in the domain for which is true or for which if false, or you could argue that no matter what is, is true or is false.
  1. What would you need to do to prove is true?



  2. What would you need to do to prove is false?



  3. What would you need to do to prove is true?



  4. What would you need to do to prove is false?