VASCONCELOS, Beatriz Loyola Gomes de; SILVA, João Euclides Mártires; BEDOR, Pedro Vitor Chagas; MATOS, Erick Simões de. EXIT: a Puzzle Game as a Support Resource for Teaching Propositional Logic. In: WORKSHOP MAGICA: GAMES IN SCHOOL AND UNDERGRADUATE COURSES - BRAZILIAN SYMPOSIUM ON COMPUTER GAMES AND DIGITAL ENTERTAINMENT (SBGAMES), 25. , 2026, Goiânia/GO. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 651-656. DOI: https://doi.org/10.5753/sbgames_estendido.2026.32769.