Chapter III Basic Proof Techniques - Brigham Young University

Given a statement 8x2S; P(x) )Q(x), we can prove it directly by assuming the premise P(x) holds and then, using that information, we show that Q(x) must also hold true. We begin with an example of such a proof. Proposition 6.16. For each x2Z, if xis even, then 5x+ 3 is odd. Proof. Let x2Zbe arbitrary. We will work directly. Assume xis even ... ................
................