First Order Logic - Quantifiers

Discrete Mathematics


  • Mark Gondree


For this activity, students should already be familiar with using symbolic logic in the context of predicate logic, representing facts with symbols and basic logical connectives. Students have already been introduced to DeMorgan's Law, in particular. This lesson is intended to be the second lesson in first order logic, expanding FOL to include quantified logic, nested quantifiers, and DeMorgan's Law with quantifiers.

This activity was developed with NSF support through IUSE-1626765. You may request access to this activity via the following link: IntroCS-POGIL Activity Writing Program

Level: Undergraduate
Setting: Classroom
Activity Type: Learning Cycle
Discipline: Computer Science
Course: Discrete Mathematics
Keywords: propositional logic, first-order logic, quantifiers




How to Cite

Gondree, M. (2023). First Order Logic - Quantifiers: Discrete Mathematics. POGIL Activity Clearinghouse, 3(4). Retrieved from



CS-POGIL Activity Writing Program