Logic

Map of Content

Rules of inference

Rules of Inference · Modus Ponens · Modus Tollens · Hypothetical Syllogism · Disjunctive Syllogism · Constructive Dilemma · Conjunction · Simplification

Truth & proof methods

Truth Tables · Truth Trees · Proofs

Foundations & limits

Gödel’s Incompleteness Theorems · The Münchhausen Trilemma