Teaches propositional logic, quantifiers, truth tables, proofs, and common patterns of valid reasoning. Learners translate ordinary sentences into logical form and check arguments step by step.
