First Order Logic - Quantifiers
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.
Activity Type: Learning Cycle
Discipline: Computer Science
Course: Discrete Mathematics
Keywords: propositional logic, first-order logic, quantifiers
How to Cite
Copyright of this work and the permissions granted to users of the PAC are defined in the PAC Activity User License.