> ## Documentation Index
> Fetch the complete documentation index at: https://math.aboneda.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Introduction to Logic

> Foundations of mathematical logic

# Logic

Mathematical logic is the study of formal reasoning. It provides the rules and structure that underpin all of mathematics and computer science.

## Key Topics

* **Propositional Logic** — statements, connectives (AND, OR, NOT, IMPLIES), truth tables
* **Predicate Logic** — quantifiers (∀, ∃), predicates, and domains
* **Logical Equivalences** — De Morgan's laws, contrapositive, distributivity
* **Proof Strategies** — direct proof, contradiction, contrapositive, cases
* **Set Theory Basics** — sets, subsets, unions, intersections, complements
* **Boolean Algebra** — algebraic structure of logical operations
* **Model Theory** — interpretations and satisfaction of formulas
* **Computability & Decidability** — Gödel's incompleteness theorems, halting problem