Detalhes - Dissertação do PROFMAT

Aluno: DAILTON ZILIOTI VALVERDE

UFMS - Universidade Federal de Mato Grosso do Sul - Campo Grande - MS

Dissertação

Título
Noções de Lógica e Técnicas de Demonstração
Resumo
O objetivo principal deste trabalho e o estudo de demonstrações matematicas sob um olhar da lógica proposicional. Demonstrações em matematica s~ao argumentos que estabelecem a veracidade de uma proposic~ao. Um argumento e uma sequ^encia de armações verdadeiras que terminam em uma conclusão. Técnicas de demonstrações matematica são possíveis estratégias de argumentação lógica para se provar sentencas matemáticas, aqui classificadas sob quatro métodos distintos de provas:  Método da Demonstração Direta;  Método da Demonstração pela Contrapositiva; Método da Demonstração por Absurdo;  Método da Demonstração por Indução.
[Download TCC]

---