Detalhes - Dissertação do PROFMAT

Aluno: RONALDO RODRIGUES CHAVES

UFABC - Fundação Universidade Federal do ABC - Santo André - SP

Dissertação

Título
Lógica no Ensino Médio: Introdução e Aplicações
Resumo
Este trabalho apresenta uma introdução ao estudo de lógica, com a finalidade de auxiliar a compreensão das demonstrações matemáticas. Nele, apresentamos a lin- guagem do cálculo de predicados de primeira ordem (CPO), o sistema de lógica que estudaremos. Veremos o cálculo sentencial (CS), um subsistema do CPO que, em- bora mais restrito, possui ferramentas para resolver alguns problemas que, embora mais simples, possuem soluções similares as demonstrações matemáticas. Iniciare- mos o estudo do CPO, verificando que suas regras de inferência são uma extensão das regras do CS. Por fim, veremos algumas aplicações do CPO na matemática e como adaptá-lo para ser utilizado no ensino básico, com o propósito de esclarecer o conceito e a estrutura das demonstrações matemáticas.
[Download TCC]

---