Using Educational Game for Engaging Students in Learning Foundational Concepts of Propositional Logic

Propositional logic is part of foundational concepts of computer science. However, many students confuse between IMPLICATION and EQUIVALENCE. Further, the students are persistently under the impression that they have mastered the basic logical concepts. We developed an educational game to engage the students' interest in learning basic logical concepts. We developed a virtual escape room where is given logical hints to help them escape. While the hints are always correct, when asked students who confuse IMPLICATION and EQUIVALENCE answer incorrectly. This will familiarize them with the idea that IMPLICATION and EQUIVALENCE.