Detalhes bibliográficos
| Ano de defesa: |
2016 |
| Autor(a) principal: |
Valverde, Dailton Zilioti |
| Orientador(a): |
Freitas, Elisabete Sousa |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Não Informado pela instituição
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://repositorio.ufms.br/handle/123456789/3004
|
Resumo: |
O objetivo principal deste trabalho é o estudo de demonstrações matemáticas sob um olhar da logica proposicional. Demonstrações em matemática são argumentos que estabelecem a veracidade de uma proposição. Um argumento _e uma sequência de armações verdadeiras que terminam em uma conclusão. Técnicas de demonstração matemática são possiveis estratégias de argumentação logica para se provar sentenças matemáticas, aqui classificadas 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. |
