A argumentação lógica no ensino da geometria

Abstract

Resumo: Neste trabalho, discutimos a inserção da Lógica Matemática nas séries da Educação Básica. Para tanto, propõe-se um tratamento inicial, por meio da argumentação baseada na linguagem corrente. Tal tratamento é gradualmente reconstruído com o apoio da linguagem da Lógica Matemática. Feito isso, são introduzidos axiomas da geometria euclidiana, possibilitando demonstrações do ponto de vista formal, por meio da linguagem desenvolvida. As construções são desenvolvidas, porém, sem perder de vista sua inserção no contexto da Educação Básica. Durante o desenvolvimento do trabalho, foram dados exemplos e propostas atividades para aprimorar o conteúdo.

Abstract: In this work, we discuss the insertion of Mathematical Logic in the Basic Education series. To this end, an initial treatment is proposed, by means of the argumentation based on the current language. Such a treatment is gradually reconstructed with the support of the language of Mathematical Logic. Once this is done, axioms of Euclidean geometry are introduced, enabling demonstrations from a formal viewpoint, through the developed language. The constructions are developed, however, without losing sight of their insertion in the context of Basic Education. During the development of the work, examples were given and activities proposed to improve the content.