If ab a b is an even number then a a or b b is even. Proofs are to mathematics what spelling or even calligraphy is to poetry. Two additional players in this game are the quanti ers 8which means for all and 9which means there exists.
Understand the difference between the two forms of induction.
In direct proof the conclusion is established by logically combining the axioms definitions and earlier. How to read and do proofs actually gives you many different methods Forward backwards method should be introduced in all proof books in your tool box to prepare you for tackling any proof. Here are the basics. Get it Tue Feb 2 - Thu Feb 4.