Journal #4

Week 5

    This week I learned more about proofs; different proof outlines and some techniques I could use when trying to prove cases. One of the proof structures learned was "proof by contradiction":

Assume  ¬ Q                                           # in order to derive a contradiction
           .
           .                                           # some steps leading to contradiction
           .
    Then ¬ P                                           # contradiction, since P is know to be true
Then Q                                           #since assuming ¬ Q leads to contradiction