Formalização do raciocínio lógico baseada na lógica matemática

Abstract

Neste trabalho estudamos os princípios da lógica matemática com o objetivo de descrever e fundamentar as principais técnicas de demonstrações matemáticas. A proposta foi motivada pela implantação da disciplina Raciocínio Lógico em todas as séries da Rede Estadual de Ensino de Mato Grosso do Sul, a partir do ano de 2014. Apresentamos um material de apoio para o professor desenvolver este tema no ensino básico, bem como contribuir para a elaboração de enunciados matemáticos mais precisos e a organização das suas demonstrações.

ABSTRACT - We study the principles of mathematical logic in order to describe and explain the main techniques of mathematical proofs. The proposal was motivated by the deployment of discipline Logical Reasoning in all series of the State Schools of Mato Grosso do Sul, from the year 2014 present a supporting material for teachers to do this in the basic education, as well as contributing for the development of more precise mathematical statements and the organization of their statements.