21127 Chapter Notes - Chapter 8: Holda, European Route E6, Babe
Document Summary
Here is a list of how to prove di erent types of logical claims. If our goal is to show a certain kind of logical claim is true, we can implement the appropriate strategy from this list. We want to show x s. p (x) Afsoc that for every y s, p (y) holds. Let y s be arbitrary and xed. Afsoc that y s such that p (y) holds. Prove that p holds true, or else prove that q holds true. Afsoc that p holds and suppose that q fails. Prove that p = q (using one of the methods above). Prove that q = p (using one of the methods above). Afsoc that (p = q) (q = p ). Consider the rst case, where p q holds. Consider the second case, where q p holds. Here is a list of how to invoke di erent types of logical claims.