First Order Logic - Quantifiers

Discrete Mathematics

Authors

  • Mark Gondree

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

Downloads

Published

2023-01-05

How to Cite

Gondree, M. (2023). First Order Logic - Quantifiers: Discrete Mathematics. POGIL Activity Clearinghouse, 3(4). Retrieved from https://pac.pogil.org/index.php/pac/article/view/337

Issue

Section

CS-POGIL Activity Writing Program