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.

Author: Jackson Daumeyer

Created: 2022-09-01 Thu 10:30