Introduces propositional and first-order quantification logic. Offers students an opportunity to evaluate the status of logical formulas and arguments, to create examples and counterexamples, and to construct both informal and formal proofs.
Offering history
Term
Sections
Enrolled
Capacity
Full
Open seats/section
Fall 2025
1
9
30
30%
21.0
Spring 2026
1
11
30
37%
19.0
Snapshots from scheduled scrapes — not live seat availability. "Full" can exceed 100% when sections over-enroll.
Meeting times
Share of recent sections by weekday: M 0% · T 0% · W 0% · Th 55% · F 0%
Common patterns: R (55% of sections), async (45% of sections)
— in patterns, R means Thursday