First Order Logic - Quantifiers

Discrete Mathematics

Abstract

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