Demonstrações Matemáticas na Prática: Uma Abordagem Visual com o Logic.ly

Abstract

Este minicurso explora a relação entre lógica proposicional e demonstrações matemáticas, utilizando a ferramenta Logic.ly para tornar os processos dedutivos acessíveis a licenciandos em Matemática. Serão abordados os principais tipos de prova (direta, por contradição e contrapositiva), com ênfase em sua estrutura lógica e aplicações pedagógicas. Por meio de simulações interativas, os participantes construirão circuitos que representam demonstrações clássicas, por exemplo, a demonstração de que o número 2 é um número irracional (prova por contradição) e equivalências lógicas. O minicurso também discute estratégias para adaptar essas técnicas à Educação Básica, alinhando-se à BNCC (competência específica 5) e às demandas por abordagens visuais no ensino de matemática. Os resultados esperados incluem: (1) domínio da relação entre lógica e demonstrações, (2) familiaridade com ferramentas digitais para o ensino e (3) desenvolvimento de atividades práticas para a sala de aula.