Logic and Proof Foundations Reference

Intro to Proofs · Axiom Academy

FORMULA SHEET Logic and Proof Foundations Reference Essential logical equivalences, quantifier rules, and proof techniques for mathematical reasoning Proof and Meta-Logical Notation Truth Tables for Basic Operators Fundamental Logical Equivalences

This is the written version of the interactive lesson above. See the full Intro to Proofs course.