Logic & Proof Basics

Test your knowledge of logic and proof basics — the formal rules that define what makes a mathematical argument actually valid.

Questions cover logical operators, tautologies, the contrapositive, De Morgan's laws, and common proof methods like contradiction and induction.

This is the toolkit behind every rigorous mathematical proof — see how solid your grasp of the rules is.