# CS70 - Proofs

### Notes:

#### 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!)

### Practice Problems:

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