Redes de Raciocínio: Uma Sequência Didática Desplugada para o Ensino de Lógica

  • Firmiano Alexandre dos Reis Silva Universidade Federal de Uberlândia (UFU)
  • Luiz Cláudio Theodoro Universidade Federal de Uberlândia (UFU)
  • João Henrique de Souza Pereira Universidade Federal de Uberlândia (UFU)
  • Rafael Dias Araújo Universidade Federal de Uberlândia (UFU)

Resumo


Este resumo expandido apresenta uma proposta didática alinhada ao Complemento à BNCC Computação (BRASIL, 2022) para desenvolver Pensamento Computacional no ensino de lógica proposicional. A atividade é desplugada e narrativa: estudantes constroem Redes de Raciocínio para modelar decisões e suas implicações. Estruturada como sequência didática de seis semanas na disciplina de Lógica de Programação, busca reduzir a resistência a abordagens formalistas ao priorizar proposições, conectivos e relações de consequência.
Palavras-chave: Lógica Proposicional, Computação Desplugada, Ensino Médio

Referências

Brackmann, C. P. (2017). Desenvolvimento do pensamento computacional através de atividades desplugadas na educação básica. Tese (doutorado em informática na educação), Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, RS, Brasil.

Brasil (2022). Resolução CNE/CEB nº 1, de 4 de outubro de 2022. Diário Oficial da União. Acesso em: 17 jul. 2023.

Liberalino, C. H. P., Laureano, R. S., Nunes, D. F. L., da Silva, E. C. P., de Sousa, G. C. M., and da Silva Pinto, M. E. (2025). Logikards: um jogo para o ensino da lógica matemática. In Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames), pages 1422–1432. SBC.

Lipman, M. (1991). Thinking in Education. Cambridge University Press, Cambridge. Referência fundamental sobre o uso de novelas para o ensino de pensamento crítico.

Souza, J. N. d. (2009). Belisca no Mundo da Lógica. Publicação interna, Faculdade de Computação, Universidade Federal de Uberlândia (UFU), Uberlândia, MG, Brasil.

Wing, J. M. (2006). Computational thinking. Communications of the ACM, 49(3):33–35.
Publicado
06/05/2026
SILVA, Firmiano Alexandre dos Reis; THEODORO, Luiz Cláudio; PEREIRA, João Henrique de Souza; ARAÚJO, Rafael Dias. Redes de Raciocínio: Uma Sequência Didática Desplugada para o Ensino de Lógica. In: SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO NA EDUCAÇÃO BÁSICA (SBC-EB), 3. , 2026, Campo Grande/MS. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 293-298. DOI: https://doi.org/10.5753/sbceb.2026.20195.