EXIT: um Jogo de Puzzle como Recurso de Apoio ao Ensino de Lógica Proposicional

  • Beatriz Loyola Gomes de Vasconcelos CESAR School
  • João Euclides Mártires Silva CESAR School
  • Pedro Vitor Chagas Bedor CESAR School
  • Erick Simões de Matos CESAR School

Resumo


Introdução: Lógica proposicional é conteúdo fundamental em Ciência da Computação, mas seu ensino tradicional por tabelas-verdade e provas formais pode dificultar o engajamento de estudantes iniciantes, contribuindo para as taxas de reprovação relatadas na literatura da área. Objetivo: Este trabalho apresenta o EXIT, um jogo de puzzle de escape ambientado em espaços liminares cuja mecânica central exige a resolução de proposições lógicas para liberar a passagem de cada ambiente. Etapas: O jogo foi desenvolvido na engine Godot 4.x segundo os princípios da Aprendizagem Baseada em Projetos, com concepção do conceito narrativo, definição de mecânicas a partir da ementa da disciplina e rodadas informais de feedback ao longo do bimestre. Resultados Preliminares: O jogo encontra-se completo e foi testado informalmente com 15 colegas de turma e o professor da disciplina; como próximo passo, pretende-se validar formalmente ganhos de motivação e aprendizagem por meio do modelo MEEGA+, em amostra maior.

Palavras-chave: lógica proposicional, jogos educacionais, aprendizagem baseada em jogos, design de puzzles, espaços liminares

Referências

AUGÉ, M. Não-lugares: Introdução a uma Antropologia da Sobremodernidade. Campinas: Papirus, 1994.

BENDER, W. N. Aprendizagem Baseada em Projetos: Educação Diferenciada para o Século XXI. Tradução de Fernando de Siqueira Rodrigues. Porto Alegre: Penso, 2014.

COSTA, C. M.; COSTA, R. M.; SILVA, J. P.; SILVEIRA, I. F. Digital Logic: um Jogo RPG Baseado em Modding para o Ensino e Aprendizagem de Lógica Computacional. In: Anais do SBGames 2025, Salvador, 2025.

KRZYZANOWSKI, L. P. Desempenho Acadêmico em Disciplinas de Algoritmos e Programação e a Evasão nos Cursos de Licenciatura em Computação. Monografia (Licenciatura em Computação) — Universidade Federal do Paraná, 2019.

LIBERALINO, C. H. P.; NUNES, D. F. L.; SILVA, E. C. P.; LAUREANO, R. S.; SOUSA, G. C. M.; PINTO, M. E. S. Bug Quest: um Jogo para o Ensino da Programação. In: Anais Estendidos do SBGames 2025, Salvador, 2025.

LIMA, M. A. V.; CARDOSO, A.; LOPES, R. A.; DOMINGUES, R. G.; GASPAR, G. L. C.; TOFFOLI, G. D.; OTONI, G. H. A.; BARBOSA, L. A. R. Jogo Sério de Realidade Virtual Baseado em Escape Room com Minijogos para Promoção do Pensamento Computacional. In: Anais Estendidos do SBGames 2024, 2024.

MONCLAR, R. S.; SILVA, M. A.; XEXÉO, G. Jogos com Propósito para o Ensino de Programação. In: Anais do SBGames 2018 — Trilha Educação (Full Papers), Foz do Iguaçu, 2018.

PETRI, G.; VON WANGENHEIM, C. G.; BORGATTO, A. F. MEEGA+: um Modelo para a Avaliação de Jogos Educacionais para o Ensino de Computação. Revista Brasileira de Informática na Educação, v. 27, n. 3, p. 52–81, 2019.

PRENSKY, M. Aprendizagem Baseada em Jogos Digitais. Tradução de Eric Yamagute. São Paulo: Senac São Paulo, 2012.

SCHELL, J. The Art of Game Design: A Book of Lenses. Boca Raton: CRC Press, 2008.

SOUZA, M. F. B.; OLIVEIRA, M. G.; SOUZA, M. A. V. F. Boolace: Jogo Educacional para Auxiliar o Ensino e a Aprendizagem de Lógica Proposicional. In: Anais Estendidos do SBGames 2024, 2024.

TONÉIS, C. N. O Design de Puzzles nos Jogos Digitais. In: Anais do SBGames 2016, São Paulo, 2016.

WING, J. M. Computational Thinking. Communications of the ACM, v. 49, n. 3, p. 33–35, 2006.
Publicado
29/09/2026
VASCONCELOS, Beatriz Loyola Gomes de; SILVA, João Euclides Mártires; BEDOR, Pedro Vitor Chagas; MATOS, Erick Simões de. EXIT: um Jogo de Puzzle como Recurso de Apoio ao Ensino de Lógica Proposicional. In: WORKSHOP MAGICA - GAMES NA GRADUAÇÃO E NA EDUCAÇÃO BÁSICA - SIMPÓSIO BRASILEIRO DE JOGOS E ENTRETENIMENTO DIGITAL (SBGAMES), 25. , 2026, Goiânia/GO. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 645-650. DOI: https://doi.org/10.5753/sbgames_estendido.2026.32769.