A direct proof is a type of proof that you are probably most familiar with. The basic structure of a direct proof is a single implication as follows: $P \Rightarrow Q$ where P and Q are the hypothesis and conclusion, respectively. For a direct proof, you want to assume P and through logic, prove that Q is also true. Starting with P, you form a series of implications that eventually ends up concluding that Q is true. Let’s walk through an example. (Read More!)