Unplugged Gamification for Propositional Logic: connections Between Computing and Education in High School

  • Ana Paula Costacurta IFPR
  • Ricardo Kagami UniSENAI/PR
  • Alan Floriano IFPR
  • Ana Cabanas FICS

Abstract


The aim of this study was to evaluate the use of a gamified educational deck of cards for teaching propositional logic. The methodology was descriptive and field-based research with a mixed approach, both qualitative and quantitative. The sample consisted of 36 high school students from a school unit in Curitiba, PR. The results showed a significant improvement in logical understanding and critical thinking among the students. Overall, it can be concluded that gamification proved to be effective, although adjustments in the design and rules are needed.

Keywords: propositional logic, active methodologies, gamification

References

Barreto, A. O. (2022). A gamificação como estratégica pedagógica docente em uma organização não governamental. Dissertação de mestrado em tecnologia da informação – programa de pós-graduação em tecnologia da informação, Instituto Federal da Paraíba - IFPB.

Christopoulos, A.; Mystakidis, S. (2023). Gamification in education. Encyclopedia, 3(4):1223-1243.

Freire, P. (1996) “Pedagogia da Autonomia”: Saberes Necessários à Prática Educativa. São Paulo: Paz e Terra. 25th edition.

Geremias, M. S. et al. (2022). “Desvendando as Heurísticas de Nielsen”: Um Jogo Educacional como ferramenta para o ensino em IHC. Anais do XIII Workshop sobre Educação em IHC (WEIHC), 1–6.

Machado, A. P. et al. (2023). “Gamificação na educação básica”: Uma revisão sistemática do cenário nacional. Anais do XXXIV Simpósio Brasileiro de Informática na Educação (SBIE), 738–751.

Malagueta, A. S. et al. (2023). A influência da gamificação no ensino da matemática nas séries iniciais do ensino fundamental. Revista Ibero-Americana de Humanidades, Ciências e Educação, 9(9): 263–279.

Quispe, M. C. H.; Vilca, C. V. (2023). Efeitos da gamificação na motivação e aprendizagem. Horizontes Rev. Inv. Cs. Edu. 7(29):1399–1410.

Mayer, R. E. (1999). “Research-based principles for the design of instructional messages”: The case of multimedia explanations. Document Design, 1(1): 7–19.

Merrill, M. D. (2002). First Principles of Instruction. Educational Technology Research and Development, 50(3): 43–59.

Ministério da Educação (MEC). (2018). Base Nacional Comum Curricular (BNCC). Educação é a Base: Ensino Médio. Brasília: MEC/CONSED/UNDIME.

Moreira, M. A. (2011). “Aprendizagem significativa”: A teoria e textos complementares. São Paulo: Editora Livraria da Física.

Nielsen, J. (1994). Enhancing the explanatory power of usability heuristics. In Proc. ACM CHI'94 Conference. New York, NY, 152-158.

Paula, C. S. M. D. et al. (2024). “Metodologia ativa”: O uso de questionários eletrônicos como ferramenta de avaliações no ensino médio. Caderno Pedagógico, 21(12): e10632. DOI: 10.54033/cadpedv21n12-139.

Rezende, A. A. D.; Carrasco, E.; Silva-Salse, À. (2022). Aprendizagem baseada em jogos e gamificação como instrumentos para o desenvolvimento do pensamento crítico na matemática: Uma revisão teórica. Revista de Estudos em Educação e Diversidade - REED, 3(8):1–18.

Rigon, E. A.; Stamberg, C. S. (2023). “Lógica matemática”: Desafios e possibilidades na educação básica. Revista Educação Matemática em Foco, 11(1):45–60.

Santos, E. et al. (2024). Metodologias ativas no ensino lúdico de políticas de segurança de redes e firewall. Revista Sociedade Científica, 7(1): 2494–2506.

Silva, J. G. P. et al. (2018). Propostas de ensino para Lógica Proposicional – Bicondicional. Redin - Revista Educacional Interdisciplinar, 7(1).

Silva, C. M. de S.; Vieira, G. V. (2024). Fraciomia e o Ensino-Aprendizagem de Frações. Revista Dynamis,30, e11567. DOI: 10.7867/1982-48662024e11567,

Sweller, J. (1988). “Cognitive Load During Problem Solving”: Effects on Learning. Cognitive Science, p. 257–85. Cognitive Science, 12(2):257–285.

Zeybek, N.; Saygı, E. (2023). “Gamification in education”: Why, where, when, and how?—a systematic review. Games and Culture, 19(2):237–264.

Warpechowski, M.; Santos, M. F. (2021). Dificuldades do ensino de lógica computacional nas séries finais. Trajetória Multicursos, 14(2):32–56.
Published
2025-07-20
COSTACURTA, Ana Paula; KAGAMI, Ricardo; FLORIANO, Alan; CABANAS, Ana. Unplugged Gamification for Propositional Logic: connections Between Computing and Education in High School. In: NATIONAL COMPUTING MEETING OF FEDERAL INSTITUTES (ENCOMPIF), 12. , 2025, Maceió/AL. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2025 . p. 139-146. ISSN 2763-8766. DOI: https://doi.org/10.5753/encompif.2025.8050.