Detetive Lógico: um jogo sério investigativo para apoiar o ensino de Lógica em Matemática Discreta
Resumo
Nos anos iniciais dos cursos de Computação, a Matemática Discreta aborda conteúdos fundamentais, como a Lógica Proposicional, que contribui para o raciocínio lógico e a abstração. Contudo, seus conceitos formais e simbólicos podem representar desafios de aprendizagem. Nesse contexto, este artigo apresenta o Detetive Lógico, um jogo sério para apoiar o ensino de Lógica Proposicional em Matemática Discreta. A proposta utiliza uma abordagem investigativa, em que o estudante resolve um caso por meio de proposições, conectivos lógicos e tabelas-verdade. A validação foi realizada com estudantes, com base em questionário derivado do modelo MEEGA+, para avaliar relevância, percepção de aprendizagem e confiança.
Palavras-chave:
Jogos Sérios, Lógica Proposicional, Matemática Discreta
Referências
Aragão, P. A. P., Avellar, G. M. N., and Barbosa, E. F. (2023). Ensino de programação e pensamento computacional utilizando realidade virtual, realidade aumentada e jogos: Um mapeamento sistemático da literatura. In Anais do XXXIV Simpósio Brasileiro de Informática na Educação, Porto Alegre, RS, Brasil. SBC.
Brown, T. (2008). Design thinking. Harvard Business Review, 86(6):84–92.
Cordenonzi, W. H., Del Pino, J. C., and Cardoso, V. M. (2021). Analisando o desenvolvimento do pensamento computacional na disciplina matemática discreta. Revista Brasileira de Informática na Educação, 29:880–902.
Ding, A.-C. E. and Yu, C.-H. (2024). Serious game-based learning and learning by making games: Types of game-based pedagogies and student gaming hours impact students' science learning outcomes. Computers Education, 218:105075.
Diniz, J. R. B., Lima Filho, M. P. d., and França, S. V. A. (2022). Avaliando artefatos para o ensino e aprendizagem do pensamento computacional junto aos licenciandos em computação. In Anais do XXXIII Simpósio Brasileiro de Informática na Educação, pages 1292–1302, Porto Alegre, RS, Brasil. SBC.
Dobler, T., Galeotti, L., and van Rozen, R. (2025). Logicraft: A game modification framework for learning propositional logic. In Proceedings of the 20th International Conference on the Foundations of Digital Games, pages 1–11.
Fehér, Z., Jaruska, L., Szarka, K., and Tóthová Tarová, E. (2023). Students' propositional logic thinking in higher education from the perspective of disciplines. Frontiers in Education, Volume 8 - 2023.
Genesio, N., Oliveira, A., Oliveira, E., and Valle, P. (2024). Panorama de estudos sobre jogos educacionais digitais em educação em computação. In Anais do XXXII Workshop sobre Educação em Computação, pages 737–749, Porto Alegre, RS, Brasil. SBC.
Gersting, J. L. (2017). Fundamentos matemáticos para a ciência da computação: matemática discreta e suas aplicações. LTC, Rio de Janeiro, 7 edition. Tradução de: Mathematical Structures for Computer Science.
Liu, Y. A. and Castellana, M. S. (2020). Discrete math with programming: A principled approach. CoRR, abs/2011.14059.
Luccas, M., Pereira, L., and Branco, K. C. (2025). Um mapeamento sistemático da literatura sobre jogos sérios no ensino superior em ciência da computação. In Anais do XXIV Simpósio Brasileiro de Jogos e Entretenimento Digital, pages 1230–1244, Porto Alegre, RS, Brasil. SBC.
Mayer, P. and Baraniuk, R. (2025). The importance of teaching logic to computer scientists and electrical engineers. ACM Trans. Comput. Educ., 25(2).
Michael, D. R. and Chen, S. (2006). Serious Games: Games That Educate, Train, and Inform. Thomson Course Technology, Boston.
Mirolo, C., IZU, C., LONATI, V., and SCAPIN, E. (2022). Abstraction in computer science education: An overview. Informatics in Education, 20(4):615–639.
Moura, G., Poltronieri, I., and Finger, A. (2024). Trueble: Prototipação e avaliação do aplicativo para ensino de tabelas verdade. In Anais do XXXV Simpósio Brasileiro de Informática na Educação, pages 1417–1429, Porto Alegre, RS, Brasil. SBC.
Moura, G., Sifuentes, E., Poltronieri, I., and Finger, A. (2025). Inovação no ensino de lógica: Desenvolvimento e avaliação de uma ferramenta para construção de tabelas verdade. In Anais do XXXVI Simpósio Brasileiro de Informática na Educação, pages 1082–1094, Porto Alegre, RS, Brasil. SBC.
Mourão, A., Brito, L., Nascimento, F., and Melo, R. (2025). Relato de experiência: instrumento lúdico para a aprendizagem e aplicação de conceitos da matemática discreta. In Anais do V Simpósio Brasileiro de Educação em Computação, pages 368–379, Porto Alegre, RS, Brasil. SBC.
Petri, G., von Wangenheim, C. G., and Borgatto, A. F. (2019). Meega+: Um modelo para a avaliação de jogos educacionais para o ensino de computação. Revista Brasileira de Informática na Educação, 27(3):52–81.
Pires, F., Honda, F., Macena, J., and Pessoa, M. (2026). Sprites for educational games: an empirical study with generative artificial models. RENOTE, 24(2):477–488.
Pruitt, J. and Adlin, T. (2006). The Persona Lifecycle: Keeping People in Mind Throughout Product Design. Morgan Kaufmann, San Francisco.
Rocha, R. V. d. (2017). Critérios para a construção de jogos sérios. In Anais do XXVIII Simpósio Brasileiro de Informática na Educação, pages 947–956. Sociedade Brasileira de Computação.
Rosal, T. A., São Mamede, H., and Mira da Silva, M. (2022). Design thinking for training with serious games: A systematic literature review. In Buchmann, R. A., Silaghi, G. C., Bufnea, D., Niculescu, V., Czibula, G., Barry, C., Lang, M., Linger, H., and Schneider, C., editors, Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania. Risoprint.
Souza, M. F. B. d., Oliveira, M. G. d., and Souza, M. A. V. F. d. (2022). Boolace: Um jogo-curso de lógica proposicional - wtd. In Anais Estendidos do II Simpósio Brasileiro de Educação em Computação, pages 47–49. Sociedade Brasileira de Computação.
Tene, T., Vique López, D. F., Valverde Aguirre, P. E., Cabezas Oviedo, N. I., Vacacela Gomez, C., and Bellucci, S. (2025). A systematic review of serious games as tools for stem education. Frontiers in Education, Volume 10 - 2025.
Ullah, M., Amin, S. U., Munsif, M., Yamin, M. M., Safaev, U., Khan, H., Khan, S., and Ullah, H. (2022). Serious games in science education: a systematic literature. Virtual Reality Intelligent Hardware, 4(3):189–209.
Wing, J. M. (2006). Computational thinking. Communications of the ACM, 49(3):33–35.
Brown, T. (2008). Design thinking. Harvard Business Review, 86(6):84–92.
Cordenonzi, W. H., Del Pino, J. C., and Cardoso, V. M. (2021). Analisando o desenvolvimento do pensamento computacional na disciplina matemática discreta. Revista Brasileira de Informática na Educação, 29:880–902.
Ding, A.-C. E. and Yu, C.-H. (2024). Serious game-based learning and learning by making games: Types of game-based pedagogies and student gaming hours impact students' science learning outcomes. Computers Education, 218:105075.
Diniz, J. R. B., Lima Filho, M. P. d., and França, S. V. A. (2022). Avaliando artefatos para o ensino e aprendizagem do pensamento computacional junto aos licenciandos em computação. In Anais do XXXIII Simpósio Brasileiro de Informática na Educação, pages 1292–1302, Porto Alegre, RS, Brasil. SBC.
Dobler, T., Galeotti, L., and van Rozen, R. (2025). Logicraft: A game modification framework for learning propositional logic. In Proceedings of the 20th International Conference on the Foundations of Digital Games, pages 1–11.
Fehér, Z., Jaruska, L., Szarka, K., and Tóthová Tarová, E. (2023). Students' propositional logic thinking in higher education from the perspective of disciplines. Frontiers in Education, Volume 8 - 2023.
Genesio, N., Oliveira, A., Oliveira, E., and Valle, P. (2024). Panorama de estudos sobre jogos educacionais digitais em educação em computação. In Anais do XXXII Workshop sobre Educação em Computação, pages 737–749, Porto Alegre, RS, Brasil. SBC.
Gersting, J. L. (2017). Fundamentos matemáticos para a ciência da computação: matemática discreta e suas aplicações. LTC, Rio de Janeiro, 7 edition. Tradução de: Mathematical Structures for Computer Science.
Liu, Y. A. and Castellana, M. S. (2020). Discrete math with programming: A principled approach. CoRR, abs/2011.14059.
Luccas, M., Pereira, L., and Branco, K. C. (2025). Um mapeamento sistemático da literatura sobre jogos sérios no ensino superior em ciência da computação. In Anais do XXIV Simpósio Brasileiro de Jogos e Entretenimento Digital, pages 1230–1244, Porto Alegre, RS, Brasil. SBC.
Mayer, P. and Baraniuk, R. (2025). The importance of teaching logic to computer scientists and electrical engineers. ACM Trans. Comput. Educ., 25(2).
Michael, D. R. and Chen, S. (2006). Serious Games: Games That Educate, Train, and Inform. Thomson Course Technology, Boston.
Mirolo, C., IZU, C., LONATI, V., and SCAPIN, E. (2022). Abstraction in computer science education: An overview. Informatics in Education, 20(4):615–639.
Moura, G., Poltronieri, I., and Finger, A. (2024). Trueble: Prototipação e avaliação do aplicativo para ensino de tabelas verdade. In Anais do XXXV Simpósio Brasileiro de Informática na Educação, pages 1417–1429, Porto Alegre, RS, Brasil. SBC.
Moura, G., Sifuentes, E., Poltronieri, I., and Finger, A. (2025). Inovação no ensino de lógica: Desenvolvimento e avaliação de uma ferramenta para construção de tabelas verdade. In Anais do XXXVI Simpósio Brasileiro de Informática na Educação, pages 1082–1094, Porto Alegre, RS, Brasil. SBC.
Mourão, A., Brito, L., Nascimento, F., and Melo, R. (2025). Relato de experiência: instrumento lúdico para a aprendizagem e aplicação de conceitos da matemática discreta. In Anais do V Simpósio Brasileiro de Educação em Computação, pages 368–379, Porto Alegre, RS, Brasil. SBC.
Petri, G., von Wangenheim, C. G., and Borgatto, A. F. (2019). Meega+: Um modelo para a avaliação de jogos educacionais para o ensino de computação. Revista Brasileira de Informática na Educação, 27(3):52–81.
Pires, F., Honda, F., Macena, J., and Pessoa, M. (2026). Sprites for educational games: an empirical study with generative artificial models. RENOTE, 24(2):477–488.
Pruitt, J. and Adlin, T. (2006). The Persona Lifecycle: Keeping People in Mind Throughout Product Design. Morgan Kaufmann, San Francisco.
Rocha, R. V. d. (2017). Critérios para a construção de jogos sérios. In Anais do XXVIII Simpósio Brasileiro de Informática na Educação, pages 947–956. Sociedade Brasileira de Computação.
Rosal, T. A., São Mamede, H., and Mira da Silva, M. (2022). Design thinking for training with serious games: A systematic literature review. In Buchmann, R. A., Silaghi, G. C., Bufnea, D., Niculescu, V., Czibula, G., Barry, C., Lang, M., Linger, H., and Schneider, C., editors, Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania. Risoprint.
Souza, M. F. B. d., Oliveira, M. G. d., and Souza, M. A. V. F. d. (2022). Boolace: Um jogo-curso de lógica proposicional - wtd. In Anais Estendidos do II Simpósio Brasileiro de Educação em Computação, pages 47–49. Sociedade Brasileira de Computação.
Tene, T., Vique López, D. F., Valverde Aguirre, P. E., Cabezas Oviedo, N. I., Vacacela Gomez, C., and Bellucci, S. (2025). A systematic review of serious games as tools for stem education. Frontiers in Education, Volume 10 - 2025.
Ullah, M., Amin, S. U., Munsif, M., Yamin, M. M., Safaev, U., Khan, H., Khan, S., and Ullah, H. (2022). Serious games in science education: a systematic literature. Virtual Reality Intelligent Hardware, 4(3):189–209.
Wing, J. M. (2006). Computational thinking. Communications of the ACM, 49(3):33–35.
Publicado
05/10/2026
Como Citar
SCHIRMER, Luiza M. D.; BRENDA, Flavia; SILVA, Alyson S.; VIANA JUNIOR, Osvaldo.
Detetive Lógico: um jogo sério investigativo para apoiar o ensino de Lógica em Matemática Discreta. In: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 37. , 2026, Goiânia/GO.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2026
.
p. 1787-1800.
DOI: https://doi.org/10.5753/sbie.2026.28090.
