← Theoretical / proof-based

Get started Book tutoring

In this program

Syntax and semantics of propositional logic
Truth tables and tautologies
Logical equivalence
Normal forms: CNF and DNF
Predicate logic
Interpretation
Validity and satisfiability
Logical consequence

Propositional and predicate logic

Validity and satisfiability

Mathematical logic & set theory · Theoretical / proof-based

Topic

Validity and satisfiability

Practice by unit: Propositional and predicate logic

Undergraduate Mathematical Logic & Set Theory — scope drawn from open logic/set theory notes and typical US intro logic syllabi.

Get started Book tutoring All topics