Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufjf.br/jspui/handle/ufjf/3248Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| thiagodeoliveiraalves.pdf | 640.13 kB | Adobe PDF |  Visualizar/Abrir |
| Clase: | Dissertação |
| Título : | Lógica formal e sua aplicação na argumentação matemática |
| Autor(es): | Alves, Thiago de Oliveira |
| Orientador: | Toon, Eduard |
| Miembros Examinadores: | Miyagaki, Olímpio Hiroshi |
| Miembros Examinadores: | Veloso, Marcelo Oliveira |
| Resumo: | 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. |
| Resumen : | 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. |
| Palabras clave : | Lógica matemática Demonstração Argumento Mathematical logic Demonstration Argument |
| CNPq: | MATEMATICA |
| Idioma: | por |
| País: | Brasil |
| Editorial : | Universidade Federal de Juiz de Fora (UFJF) |
| Sigla de la Instituición: | UFJF |
| Departamento: | ICE – Instituto de Ciências Exatas |
| Programa: | Mestrado Profissional em Matemática (PROFMAT) |
| Clase de Acesso: | Acesso Aberto |
| URI : | https://repositorio.ufjf.br/jspui/handle/ufjf/3248 |
| Fecha de publicación : | 18-jul-2016 |
| Aparece en las colecciones: | Mestrado Profissional em Matemática em Rede Nacional - PROFMAT (Dissertações) |
Los ítems de DSpace están protegidos por licencias Creative Commons, con todos los derechos reservados, a menos que se indique lo contrario.