The objective of this article is to present the design of the prototype of a gamification software application for teaching propositional logic for 11th grade students developed in GameMaker Studio 2 Desktop version created by YoYo Games Ltd. The approach of the development of the gamification application is to measure and evaluate the level of propositional logic to 11th grade students, because these skills are very advanced or are taught sparsely for high school students. Finally, the application is a puzzle game where the player can interact with the NPC's of the first room composed of nine rooms where eight have a propositional logic exercise where the player will simply have to choose whether the proposition is true or false.