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
This note was uploaded on 04/17/2008 for the course MATH 100 taught by Professor Weissman during the Fall '08 term at UCSC.
- Fall '08