Esta proposta contém uma sequência didática para o ensino e aprendizagem de provas e argumentações, destinada a alunos do 9º ano do Ensino Fundamental, utilizando uma ferramenta computacional.