1. Biblioteca Digital de Trabalhos de Conclusão de Curso
  2. Trabalhos de Conclusão de Curso de Graduação
  3. Matemática - Licenciatura
Use este identificador para citar ou linkar para este item: http://www.monografias.ufop.br/handle/35400000/9286
Registro completo de metadados
Campo Dublin CoreValorIdioma
dc.contributor.advisorRibas, Sáviopt_BR
dc.contributor.authorMorais, Fellipe Alves de-
dc.date.accessioned2026-06-12T18:26:12Z-
dc.date.available2026-06-12T18:26:12Z-
dc.date.issued2025pt_BR
dc.identifier.citationMORAIS, Fellipe Alves de. Reflexões sobre a verdade das afirmações matemáticas. 2025. 43 f. Monografia (Graduação em Matemática - Licenciatura) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, 2025.pt_BR
dc.identifier.urihttp://www.monografias.ufop.br/handle/35400000/9286-
dc.description.abstractEste trabalho procura explicar, de forma acessível, o que são as demonstrações matemáticas e busca compreender o que proporciona o alto grau de confiabilidade nas afirmações que são justificadas por elas. Para isso, mostra como elas se apoiam na lógica para garantir que as conclusões realmente decorram das premissas. O texto está organizado em três partes: noções de lógica verofuncional, noções de argumentação e, por fim, demonstrações matemáticas.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectDemonstração matemáticapt_BR
dc.subjectLógica clássicapt_BR
dc.subjectValidadept_BR
dc.subjectVerdade matemáticapt_BR
dc.subjectProvapt_BR
dc.subjectArgumentaçãopt_BR
dc.subjectTeoremapt_BR
dc.subjectDemonstração diretapt_BR
dc.titleReflexões sobre a verdade das afirmações matemáticas.pt_BR
dc.typeTCC-Graduaçãopt_BR
dc.contributor.refereeReis, Frederico da Silvapt_BR
dc.contributor.refereeDamasceno, Josué Geraldopt_BR
dc.contributor.refereeRibas, Sáviopt_BR
dc.description.abstractenThis work seeks to explain, in an accessible way, what mathematical proofs are and seeks to understand what generates the high degree of reliability in the statements they justify. To this end, it shows how they rely on logic to ensure that conclusions truly follow from the premises. The text is organized into three parts: notions of truthfunctional logic, notions of argumentation, and, finally, mathematical proofs.pt_BR
dc.contributor.authorID18.1.4050pt_BR
Aparece nas coleções:Matemática - Licenciatura

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
MONOGRAFIA_ReflexõesVerdadeAfirmações.pdf539,9 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens na BDTCC estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.