Resumen

O objetivo desta oficina é mostrar como podemos desenvolver atividades direcionadas à formulação de provas de proposições em sala de aula e apresentar os resultados da aplicação de tais atividades feita com alunos do ensino fundamental. A oficina está baseada numa sequência didática desenvolvida com base na metodologia de resolução de problemas, no âmbito do programa de Bolsas de Iniciação à Docência - PIBID/CAPES, do Departamento de Matemática da Universidade de Brasília. O problema motivador desta sequência é a resolução de um quebra-cabeça muito divulgado na mídia: o sudoku. A partir do axioma básico, que é a regra do jogo, da observação e da resolução de situações específicas do sudoku, o aluno é levado a formular métodos de resolução cada vez mais complexos. Nesta formulação de métodos e de algoritmos de resolução, ele trabalha tanto a redação quanto a aplicação das regras de lógica geralmente usadas em matemática, a saber: regra do terceiro excluído, implicação, conjunção e disjunção. Através do conceito de simetrias o aluno é levado a formular novos métodos cuja validade é comprovada através de outras representações da grade sudoku. Os conteúdos específicos abordados na sequência didática e na oficina são: simetrias e regras básicas de lógica.