notes

Personal notes
git clone git://git.laack.co/notes.git
Log | Files | Refs

Contradiction.md (394B)


      1 # Contradiction
      2 
      3 Throughout textbook
      4 
      5 **Definition:** Contradiction is used to prove if then statements. This is done by assuming the then is true and the if is not true which would imply the statement is false. From here, you then show this causes a contradiction thus if the if is true then the then is true. 
      6 
      7 A contradiction is a proposition that is always false such as $p \wedge \neg p$.