Propositional Logic: Proofs by Contradiction
Channel: Math Forge
Date: 2017-09-12

Proving the square root of 2 is irrational by using a proof by contradiction.