The curriculum typically follows a progression from basic logical structures to advanced foundational theorems:

: Covers predicates, quantifiers, and formal languages, providing the necessary syntax for writing mathematical proofs.

: Introduces symbolic logic, truth tables, and two-column proofs to establish a base for logical inference.