A deep dive into formal logic, guiding students through the classic proof by contradiction that the square root of 2 is irrational.

Similar Lessons