Material Teórico
O Que é Lógica Matemática
Este primeiro material motiva o estudo da Lógica matemática, discutindo alguns problemas simples, mas insitigantes
Estruturas Básicas
Descrevemos, com exemplos, alguns dos elementos básicos envolvidos no discurso matemático, tais como definições e teoremas
A Linguagem dos Teoremas - Parte I
Este material começa o trabalho de utilização da Lógica formal na confecção de provas de teoremas.
A Linguagem dos Teoremas - Parte II
Continuando a discussão da Parte I, introduzimos os conceitos de tautologia, contradição, proposições equivalentes e começamos a utilizar argumentos lógicos para elaborar demonstrações
Expandindo o Vocabulário
Continuando o estudo de Lógica, introduzimos os conceitos de quantificadores e Lógica de primeira ordem
A Prova
Agora que dispomos dos pré-requisitos necessários, apresentamos, à título de ilustração, algumas provas diretas
O Contraexemplo
Discutimos o conceito de contraexemplo e apresentamos vários deles, bem como algumas conjecturas famosas
Outras Técnicas de Prova
Discutimos mais técnicas de prova, notadamente demonstração por absurdo