1. First of all this was a really neat section. It's nice to get into proofs. One thing that was a little hard to follow was some of the even and odd number proofs. At first I failed to see how (for instance in Result 3.5) the statement "Since -5x-2 is an integer, -5n-3 is an odd integer" proved that -5n-3 was an odd integer. Something along these lines was present in many proofs. Upon closer inspection I realized that we simply needed to show that -5n-3 could be written in the generic form 2y+1 to be an odd integer and what I was missing was that we used the fact that any product or addition etc of integers remained in the integers.
2. I've had some experience with proofs and this section is neat because it explains the theory of how to prove something. For instance, proof by contrapositive. I never understood why we would use it, just that you prove pretty much the opposite and that proves the original. However now with logical equivalence, I can see why and what's more, I'm convinced now that this is an actual proof. Another cool thing along the same lines is I now understand what a trivial proof is and why it is in fact trivial. Likewise this also stems from the logic and the logic tables.
No comments:
Post a Comment