This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: Math 100 Logic, Equivalence Classes Martin H. Weissman 1. If...Then... statements Sometimes, you are asked to prove whether a sentence of the form If A then B is true or false. In mathematics, this has a precise logical meaning. The truth of the sentence If A then B depends on whether A and B are true or false the dependence is illustrated by the following truth table: A B If A then B. True True True True False False False True True False False True So, if you are asked to prove that if A then B, then you have two ways of approaching this proof: You can take A as a hypothesis in your proof, and try to prove B from it. You can assume that A is true, and assume that B is false, and try to deduce a contradiction. For example, consider the structure of the following proof: Theorem 1. If n is a natural number, and n 2 is even, then n is even. Proof. We use proof by contradiction. Assume that n is a natural number, n 2 is even, and n is odd. Since n is odd, n 2 is odd. This contradicts the assumption that n 2 is even. / 2. Trivial Satisfaction Perhaps the least intuitive property of If...then... sentences is the following:Perhaps the least intuitive property of If....
View Full Document
- Fall '08