07.1 Direct Proof
7.1 Direct Proof A direct proof begins with the assumptions of a statement and derives the conclusion by valid steps. It follows the natural direction of implication. A typical direct proof has the form: $$ P \Rightarrow Q. $$ To prove it directly, assume $P$ and show $Q$. This method is often the clearest proof technique because it does not change the goal. The proof follows the same direction as...