Proofs
Table of Contents
1. Types of Proofs
1.1. Modus Ponens
Otherwise known as Induction
1.2. Modus Tollens
Also known as contrapositive, it is essentially proving is false by proving the opposite is true
1.3. Redutio ad absurdum
Start by assuming something is false, so that it leads to something that could not be possible \begin{align*} ¬ p ⇒ \left q ∧ ≠ q \right ∴ p \end(align*)
1.4. Counter Example
This isn’t a real proof but it a way to prove something is false, by finding one instance where something is wrong.