CS70 - Proofs

  • Direct Proof

  • 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: 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!)

Looks like there currently aren't any practice problems (yet) about Proofs...if you'd like to see some, let me know.