Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-01-13T17:27:04Z
No. of bitstreams: 1
thiagodeoliveiraalves.pdf: 655489 bytes, checksum: e3e858183683f82164e751d989a96b35 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-07T13:56:24Z (GMT) No. of bitstreams: 1
thiagodeoliveiraalves.pdf: 655489 bytes, checksum: e3e858183683f82164e751d989a96b35 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-02-07T14:05:47Z (GMT) No. of bitstreams: 1
thiagodeoliveiraalves.pdf: 655489 bytes, checksum: e3e858183683f82164e751d989a96b35 (MD5) / Made available in DSpace on 2017-02-07T14:05:47Z (GMT). No. of bitstreams: 1
thiagodeoliveiraalves.pdf: 655489 bytes, checksum: e3e858183683f82164e751d989a96b35 (MD5)
Previous issue date: 2016-07-18 / O 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. / TheuseofLogicisoffundamentalimportanceinthedevelopmentofmodernmathematical 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:hermes.cpd.ufjf.br:ufjf/3248 |
| Date | 18 July 2016 |
| Creators | Alves, Thiago de Oliveira |
| Contributors | Toon, Eduard, Miyagaki, Olímpio Hiroshi, Veloso, Marcelo Oliveira |
| Publisher | Universidade Federal de Juiz de Fora (UFJF), Mestrado Profissional em Matemática (PROFMAT), UFJF, Brasil, ICE – Instituto de Ciências Exatas |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFJF, instname:Universidade Federal de Juiz de Fora, instacron:UFJF |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0095 seconds