Please use this identifier to cite or link to this item: https://repositorio.ufjf.br/jspui/handle/ufjf/3248
Files in This Item:
File Description SizeFormat 
thiagodeoliveiraalves.pdf640.13 kBAdobe PDFThumbnail
View/Open
Full metadata record
DC FieldValueLanguage
dc.contributor.advisor1Toon, Eduard-
dc.contributor.advisor1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4248149J6pt_BR
dc.contributor.referee1Miyagaki, Olímpio Hiroshi-
dc.contributor.referee1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783379E4pt_BR
dc.contributor.referee2Veloso, Marcelo Oliveira-
dc.contributor.referee2Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4739764Y0pt_BR
dc.creatorAlves, Thiago de Oliveira-
dc.creator.Latteshttp://lattes.cnpq.brpt_BR
dc.date.accessioned2017-02-07T14:05:47Z-
dc.date.available2017-01-13-
dc.date.available2017-02-07T14:05:47Z-
dc.date.issued2016-07-18-
dc.identifier.urihttps://repositorio.ufjf.br/jspui/handle/ufjf/3248-
dc.description.abstractTheuseofLogicisoffundamentalimportanceinthedevelopmentofmodernmathematical theories that seek deduce from axioms and primitive concepts all your body of theorems and consequences. The aim of this work is to describe the tools of Formal Logic that may have immediate applications in the statements of theorems and conjectures, bringing justification and meaning to the deductive techniques and arguments commonly used in Mathematics. In addition to introductory topics on argumentation and scope of Logic, all the work is presented by systematic method in search of a formal criterion that can separate the valid arguments of the invalids. It follows that with a good initial preparation in the field of Formal Logic, the novice mathematician could have a reference on how to strategically proceed in conjectures evidence processes and a deeper knowledge to understand the reasons for the validity of theorems found on their training area.pt_BR
dc.description.resumoO uso da Lógica é de fundamental importância no desenvolvimento de teorias matemáticas modernas, que buscam deduzir de axiomas e conceitos primitivos todo seu corpo de teoremas e consequências. O objetivo desta dissertação é descrever as ferramentas da Lógica Formal que possam ter aplicações imediatas nas demonstrações de conjecturas e teoremas, trazendo justificativa e significado para as técnicas dedutivas e argumentos normalmente utilizados na Matemática. Além de temas introdutórios sobre argumentação e âmbito da lógica, o trabalho todo é apresentado por método sistemático em busca de um critério formal que possa separar os argumentos válidos dos inválidos. Conclui-se que com uma boa preparação inicial no campo da Lógica Formal, o matemático iniciante possa ter uma referência sobre como proceder estrategicamente nos processos de provas de conjecturas e um conhecimento mais profundo ao entender os motivos da validade dos teoremas que encontrará ao se dedicar a sua área de formação.pt_BR
dc.languageporpt_BR
dc.publisherUniversidade Federal de Juiz de Fora (UFJF)pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentICE – Instituto de Ciências Exataspt_BR
dc.publisher.programMestrado Profissional em Matemática (PROFMAT)pt_BR
dc.publisher.initialsUFJFpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectLógica matemáticapt_BR
dc.subjectDemonstraçãopt_BR
dc.subjectArgumentopt_BR
dc.subjectMathematical logicpt_BR
dc.subjectDemonstrationpt_BR
dc.subjectArgumentpt_BR
dc.subject.cnpqMATEMATICApt_BR
dc.titleLógica formal e sua aplicação na argumentação matemáticapt_BR
dc.typeDissertaçãopt_BR
Appears in Collections:Mestrado Profissional em Matemática em Rede Nacional - PROFMAT (Dissertações)



Items in DSpace are protected by Creative Commons licenses, with all rights reserved, unless otherwise indicated.