Lógica Proposicional em Movimento: Avaliação de uma Metodologia Ativa com Tabuleiro Humano
Resumo
Este artigo apresenta uma experiência pedagógica com o uso de metodologias ativas para o ensino de lógica proposicional em uma turma de Licenciatura em Computação da Universidade de Pernambuco, Campus Garanhuns. A atividade foi realizada por meio de um tabuleiro humano, no qual os estudantes aplicaram operadores lógicos — negação, conjunção e disjunção — para avançar na trilha e acumular pontos a partir de desafios em flashcards. A proposta integrou teoria e prática, favorecendo o engajamento, a colaboração e o desenvolvimento do raciocínio lógico. Os resultados indicaram maior motivação dos alunos e melhor compreensão dos conectivos, contribuindo para superar dificuldades comuns no aprendizado desses conceitos.Referências
Agnol, A. D., Gusberti, C., & Bertagnolli, S. C. (2020). O ensino de pensamento computacional através de um jogo de tabuleiro em ambiente desplugado: Relato de experiência de formação docente. Revista Novas Tecnologias na Educação, 18(1).
Ausubel, D. P. (1982). A aprendizagem significativa. São Paulo: Moraes.
Brackmann, C. P. (2017). Desenvolvimento do pensamento computacional através de atividades desplugadas na educação básica (Tese de Doutorado, Universidade Federal do Rio Grande do Sul). Universidade Federal do Rio Grande do Sul.
Brackmann, C. P., Boucinha, R. M., Román-González, M., Barone, D. A. C., & Casali, A. (2017). Pensamento computacional desplugado: Ensino e avaliação na educação primária espanhola. In Anais dos Workshops do VI Congresso Brasileiro de Informática na Educação (CBIE 2017) (p. 982). Sociedade Brasileira de Computação.
Haack, S. (2002). Filosofia das lógicas. Unesp.
INEP — Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira. (2024). Saeb: Sistema de Avaliação da Educação Básica. [link]
Marques, H. R., Campos, A. C., Andrade, D. M., & Zambalde, A. L. (2021). Inovação no ensino: Uma revisão sistemática das metodologias ativas de ensino-aprendizagem. Avaliação: Revista da Avaliação da Educação Superior (Campinas), 26(3), 718–741.
Miranda, M., Medeiros, C., Ferreira, P., Castilho, Í., Seixas, L., Coutinho, C., & Lícia, M. (2024). Criatividade e ludicidade no ensino de Lógica de Programação: Relato de experiência do PIBID Computação. In Anais da XXIV Escola Regional de Computação Bahia, Alagoas e Sergipe, (pp. 284-293). Porto Alegre: SBC. DOI: 10.5753/erbase.2024.4413.
Morán, J. (2015). Mudando a educação com metodologias ativas. Coleção mídias contemporâneas. Convergências midiáticas, educação e cidadania: aproximações jovens, 2(1), 15-33.
Mortari, C. A. (2016). Introdução à lógica (2ª ed.). Editora Unesp.
Mourão, A. B., Brito, L. M., Nascimento, F. S., & Melo, R. W. R. (2025). Relato de experiência: Instrumento lúdico para a aprendizagem e aplicação de conceitos da Matemática Discreta. In Anais do 5º Simpósio Brasileiro de Educação em Computação (EDUCOMP) (pp. 368–379). Sociedade Brasileira de Computação. DOI: 10.5753/educomp.2025.5245.
Nascimento, W., & Alves, E. P. M. (2025). Desigualdades educacionais e desempenho em escolas públicas brasileiras na disciplina de matemática. Contemporânea-Revista de Sociologia da UFSCar, 15.
Rodrigues, H. W., Bechara, G. N., & Grubba, L. S. (2020). Era digital e controle da informação. Revista Em Tempo, 20(1).
Sousa Oliveira, M. (2019). Uma reflexão sobre a ideia de superação do ensino tradicional na educação matemática: a dicotomia entre a abordagem clássica e abordagens inovadoras em foco. Revista BOEM, 7(14), 79-93.
Wing, J. M. (2006). Computational thinking. Communications of the ACM, 49(3), 33–35.
Ausubel, D. P. (1982). A aprendizagem significativa. São Paulo: Moraes.
Brackmann, C. P. (2017). Desenvolvimento do pensamento computacional através de atividades desplugadas na educação básica (Tese de Doutorado, Universidade Federal do Rio Grande do Sul). Universidade Federal do Rio Grande do Sul.
Brackmann, C. P., Boucinha, R. M., Román-González, M., Barone, D. A. C., & Casali, A. (2017). Pensamento computacional desplugado: Ensino e avaliação na educação primária espanhola. In Anais dos Workshops do VI Congresso Brasileiro de Informática na Educação (CBIE 2017) (p. 982). Sociedade Brasileira de Computação.
Haack, S. (2002). Filosofia das lógicas. Unesp.
INEP — Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira. (2024). Saeb: Sistema de Avaliação da Educação Básica. [link]
Marques, H. R., Campos, A. C., Andrade, D. M., & Zambalde, A. L. (2021). Inovação no ensino: Uma revisão sistemática das metodologias ativas de ensino-aprendizagem. Avaliação: Revista da Avaliação da Educação Superior (Campinas), 26(3), 718–741.
Miranda, M., Medeiros, C., Ferreira, P., Castilho, Í., Seixas, L., Coutinho, C., & Lícia, M. (2024). Criatividade e ludicidade no ensino de Lógica de Programação: Relato de experiência do PIBID Computação. In Anais da XXIV Escola Regional de Computação Bahia, Alagoas e Sergipe, (pp. 284-293). Porto Alegre: SBC. DOI: 10.5753/erbase.2024.4413.
Morán, J. (2015). Mudando a educação com metodologias ativas. Coleção mídias contemporâneas. Convergências midiáticas, educação e cidadania: aproximações jovens, 2(1), 15-33.
Mortari, C. A. (2016). Introdução à lógica (2ª ed.). Editora Unesp.
Mourão, A. B., Brito, L. M., Nascimento, F. S., & Melo, R. W. R. (2025). Relato de experiência: Instrumento lúdico para a aprendizagem e aplicação de conceitos da Matemática Discreta. In Anais do 5º Simpósio Brasileiro de Educação em Computação (EDUCOMP) (pp. 368–379). Sociedade Brasileira de Computação. DOI: 10.5753/educomp.2025.5245.
Nascimento, W., & Alves, E. P. M. (2025). Desigualdades educacionais e desempenho em escolas públicas brasileiras na disciplina de matemática. Contemporânea-Revista de Sociologia da UFSCar, 15.
Rodrigues, H. W., Bechara, G. N., & Grubba, L. S. (2020). Era digital e controle da informação. Revista Em Tempo, 20(1).
Sousa Oliveira, M. (2019). Uma reflexão sobre a ideia de superação do ensino tradicional na educação matemática: a dicotomia entre a abordagem clássica e abordagens inovadoras em foco. Revista BOEM, 7(14), 79-93.
Wing, J. M. (2006). Computational thinking. Communications of the ACM, 49(3), 33–35.
Publicado
04/05/2026
Como Citar
VERISSIMO, Kaiky; MELO, Elvis.
Lógica Proposicional em Movimento: Avaliação de uma Metodologia Ativa com Tabuleiro Humano. 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. 550-561.
ISSN 3086-0733.
DOI: https://doi.org/10.5753/educomp.2026.18603.
