Expedição Lógica: Jogando e Aprendendo Lógica Proposicional e de Predicados
Resumo
Os jogos educacionais têm sido amplamente utilizados no ensino de conceitos computacionais, incluindo Lógica Matemática, permitindo estratégias alternativas para favorecer o processo de aprendizagem. Este artigo visa apresentar o jogo de tabuleiro desplugado intitulado “Expedição Lógica”, contextualizado na narrativa de caça ao tesouro, cujo objetivo é fixar conceitos relacionados à Lógica Proposicional e de Predicados (LPP). Os resultados preliminares de sua avaliação por meio do instrumento validado UES-Br durante a aplicação com uma turma de pós-graduação apontam para uma percepção de experiência de aprendizagem positiva, com uma proposta visualmente atrativa e capaz de promover a concentração no aprendizado de Lógica.
Referências
Artur Filho, L. K., Fernandes, J. L., and Pedon Júnior, W. (2023). Lógica-mente: um jogo de lógica proposicional. Trabalho de conclusão de curso, Instituto Federal de Educação, Ciência e Tecnologia de Goiás, Inhumas, Brasil.
Costacurta, A., Kagami, R., Floriano, A., and Cabanas, A. (2025). Gamificação desplugada para lógica proposicional: conexões entre computação e educação no ensino médio. In Anais do XII Encontro Nacional de Computação dos Institutos Federais, pages 139–146, Porto Alegre, RS, Brasil. SBC.
Csikszentmihalyi, M. (1991). Flow: The Psychology of Optimal Experience. Harper Perennial, New York, NY. Paperback edition.
De Troyer, O., Lindberg, R., and Sajjadi, P. (2019). TrueBiters, an educational game to practice the truth tables of propositional logic: Development, evaluation, and lessons learned. Smart Learning Environments, 6(27).
Dias, B. and Finger, A. (2020). Aplicativos para o ensino-aprendizagem de lógica matemática: qual a melhor escolha? In Anais do XXVI Workshop de Informática na Escola, pages 111–120, Porto Alegre, RS, Brasil. SBC.
Junior, M. C., Track, M., Assumpção, M., Gama, G., and Aylon, L. (2025). Manna games imagem e ação: um jogo educativo inspirado em charadas para o ensino de computação. In Anais do XXIV Simpósio Brasileiro de Jogos e Entretenimento Digital, pages 1377–1387, Porto Alegre, RS, Brasil. SBC.
Liberalino, C., Laureano, R., Nunes, D., Silva, E., Sousa, G., and Pinto, M. (2025). Logikards: um jogo para o ensino da lógica matemática. In Anais do XXIV Simpósio Brasileiro de Jogos e Entretenimento Digital, pages 1421–1431, Porto Alegre, RS, Brasil. SBC.
Marinho, A., Oliveira, W., Bittencourt, I. I., and Dermeval, D. (2019). Does gamification improve flow experience in classroom? an analysis of gamer types in collaborative and competitive settings. Revista Brasileira de Informática na Educação, 27(02):40.
Miranda, D., Li, C., and Darin, T. (2021). UES-Br: Translation and cross-cultural adaptation of the user engagement scale for brazilian portuguese. Proc. ACM Hum.-Comput. Interact., 5(CHI PLAY).
O’Brien, H. L. and Toms, E. G. (2010). The development and evaluation of a survey to measure user engagement. Journal of the American Society for Information Science and Technology, 61(1):50–69.
Silva, T., Melo, J., and Tedesco, P. (2015). A teoria do flow na contribuição do engajamento estudantil para apoiar a escolha de jogos no ensino de programação. In Brazilian Symposium on Computers in Education (Simpósio Brasileiro de Informática na Educação-SBIE), volume 26, page 607.
Souza, M. F., Oliveira, M., and Souza, M. A. (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, Porto Alegre, RS, Brasil. SBC.
Souza, M. F., Oliveira, M., and Souza, M. A. (2024). Boolace: Jogo educacional para auxiliar o ensino e a aprendizagem de lógica proposicional. In Anais Estendidos do XXIII Simpósio Brasileiro de Jogos e Entretenimento Digital, pages 235–240, Porto Alegre, RS, Brasil. SBC.
Vargas, K. D., da Silva, J. P., and Finger, A. (2022). Estratégias para o ensino de lógica matemática com pensamento computacional: Uma revisão sistemática da literatura. In Anais do XXXIII Simpósio Brasileiro de Informática na Educação, pages 1391–1403, Porto Alegre, RS, Brasil. SBC.
Zorzo, A. F., Nunes, D., Matos, E., Steinmacher, I., de Araujo, R. M., Correia, R., and Martins, S. (2017). Referenciais de formação para os cursos de graduação em computação. Sociedade Brasileira de Computação.
Costacurta, A., Kagami, R., Floriano, A., and Cabanas, A. (2025). Gamificação desplugada para lógica proposicional: conexões entre computação e educação no ensino médio. In Anais do XII Encontro Nacional de Computação dos Institutos Federais, pages 139–146, Porto Alegre, RS, Brasil. SBC.
Csikszentmihalyi, M. (1991). Flow: The Psychology of Optimal Experience. Harper Perennial, New York, NY. Paperback edition.
De Troyer, O., Lindberg, R., and Sajjadi, P. (2019). TrueBiters, an educational game to practice the truth tables of propositional logic: Development, evaluation, and lessons learned. Smart Learning Environments, 6(27).
Dias, B. and Finger, A. (2020). Aplicativos para o ensino-aprendizagem de lógica matemática: qual a melhor escolha? In Anais do XXVI Workshop de Informática na Escola, pages 111–120, Porto Alegre, RS, Brasil. SBC.
Junior, M. C., Track, M., Assumpção, M., Gama, G., and Aylon, L. (2025). Manna games imagem e ação: um jogo educativo inspirado em charadas para o ensino de computação. In Anais do XXIV Simpósio Brasileiro de Jogos e Entretenimento Digital, pages 1377–1387, Porto Alegre, RS, Brasil. SBC.
Liberalino, C., Laureano, R., Nunes, D., Silva, E., Sousa, G., and Pinto, M. (2025). Logikards: um jogo para o ensino da lógica matemática. In Anais do XXIV Simpósio Brasileiro de Jogos e Entretenimento Digital, pages 1421–1431, Porto Alegre, RS, Brasil. SBC.
Marinho, A., Oliveira, W., Bittencourt, I. I., and Dermeval, D. (2019). Does gamification improve flow experience in classroom? an analysis of gamer types in collaborative and competitive settings. Revista Brasileira de Informática na Educação, 27(02):40.
Miranda, D., Li, C., and Darin, T. (2021). UES-Br: Translation and cross-cultural adaptation of the user engagement scale for brazilian portuguese. Proc. ACM Hum.-Comput. Interact., 5(CHI PLAY).
O’Brien, H. L. and Toms, E. G. (2010). The development and evaluation of a survey to measure user engagement. Journal of the American Society for Information Science and Technology, 61(1):50–69.
Silva, T., Melo, J., and Tedesco, P. (2015). A teoria do flow na contribuição do engajamento estudantil para apoiar a escolha de jogos no ensino de programação. In Brazilian Symposium on Computers in Education (Simpósio Brasileiro de Informática na Educação-SBIE), volume 26, page 607.
Souza, M. F., Oliveira, M., and Souza, M. A. (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, Porto Alegre, RS, Brasil. SBC.
Souza, M. F., Oliveira, M., and Souza, M. A. (2024). Boolace: Jogo educacional para auxiliar o ensino e a aprendizagem de lógica proposicional. In Anais Estendidos do XXIII Simpósio Brasileiro de Jogos e Entretenimento Digital, pages 235–240, Porto Alegre, RS, Brasil. SBC.
Vargas, K. D., da Silva, J. P., and Finger, A. (2022). Estratégias para o ensino de lógica matemática com pensamento computacional: Uma revisão sistemática da literatura. In Anais do XXXIII Simpósio Brasileiro de Informática na Educação, pages 1391–1403, Porto Alegre, RS, Brasil. SBC.
Zorzo, A. F., Nunes, D., Matos, E., Steinmacher, I., de Araujo, R. M., Correia, R., and Martins, S. (2017). Referenciais de formação para os cursos de graduação em computação. Sociedade Brasileira de Computação.
Publicado
04/05/2026
Como Citar
SANTANA, Thalia S. de; BRAGA, Ramayane B.; RIGO, Rangel; ARAÚJO, Rafael D..
Expedição Lógica: Jogando e Aprendendo Lógica Proposicional e de Predicados. In: SIMPÓSIO BRASILEIRO DE EDUCAÇÃO EM COMPUTAÇÃO (EDUCOMP), 6. , 2026, Campo Grande/MS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2026
.
p. 757-769.
ISSN 3086-0733.
DOI: https://doi.org/10.5753/educomp.2026.18741.
