Uma abordagem do ensino de lógica matemática no ensino médio

• Ano de defesa: 2018
• Autor(a) principal: ORSANO, Diego Roberto Rodrigues
• Orientador(a): SPÍNDOLA, Flausino Lucas Neves
• Banca de defesa: SPÍNDOLA, Flausino Lucas Neves , MOREIRA NETO, Sandra Imaculada , SILVA, Antônio José da
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal do Maranhão
• Programa de Pós-Graduação: PROGRAMA DE PÓS-GRADUAÇÃO EM REDE - MATEMÁTICA EM REDE NACIONAL/CCET
• Departamento: DEPARTAMENTO DE MATEMÁTICA/CCET
• País: Brasil
• Palavras-chave em Português: Lógica matemática; Fundamentos de matemática; Tabelas verdade; Exercícios de lógica; Lógica computacional
• Palavras-chave em Inglês: Mathematical logic; Fundamentals of mathematics; Truth tables; Logic tests; Computational logic
• Área do conhecimento CNPq: Lógica Matemática
• Link de acesso: https://tedebc.ufma.br/jspui/handle/tede/2553

The purpose of this work is to present a teaching approach of Mathematical Logic for high school, focusing on theoretical knowledge and resolution of tests for brazilian public and entrance exams. We first present a brief history of Logic and Philosophy, since Ancient Greece. From this, we present Mathematical Logic, exploring the definition of propositions, the basic principles of logic, constructions of truth tables, logical connectives, logical equivalences, logical diagrams and arguments. We finish our study looking for an application of Mathematical Logic in the teaching of computational algorithms.