Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/11612/4737| Autor(a): | SANTOS, Dáffny Lorrany Rodrigues dos |
| Orientador: | SILVA, Renata Alves da |
| Título: | Lógica Clássica e sua aplicabilidade em resolver problemas matemáticos |
| Palavras-chave: | Lógica formal;Tabelas-Verdades;Demonstrações matemáticas;Raciocínio Lógico;Formal logic;Truth-Tables;Mathematical proofs;Logical Reasoning |
| Data do documento: | 2023 |
| Editor: | Universidade Federal do Tocantins |
| Citação: | SANTOS, Dáffny Lorrany Rodrigues dos. Lógica Clássica e sua aplicabilidade em resolver problemas matemáticos. 2022. 39 f. Trabalho de conclusão de curso em Licenciatura em Matemática, Universidade Federal do Tocantins, Araguaína, 2022. |
| Resumo: | O objetivo desta monografia é trazer uma discussão sobre tabelas verdades como ferramentas para validar proposições compostas e também apresentar demonstrações utilizando essas ferramentas. Ao longo dos anos, a lógica foi se desenvolvendo, se formalizando e assim tornando-se uma linguagem precisa a qual conhecemos nos dias atuais. A lógica formal descrita por Aristóteles está ligada como uma ferramenta que auxilia na análise de raciocínios válidos, não válidos e também na tomada de decisões a qual encadeia ideias para chegar a conclusões de maneira satisfatória. Ela é encontrada na Matemática (nas demonstrações, nos argumentos dedutivos, etc). No estudo da lógica formal, também conhecida como lógica matemática, uma proposição é uma declaração afirmativa à qual se pode associar um valor verdadeiro ou falso, mas não ambos. Assim, quando conectamos duas ou mais proposições utilizamos operadores lógicos que são: não (∼); e (∧); ou (∨); se, então (→); se, e somente (↔), para formar uma só sentença, com isso, é utilizado a tabela verdade para ajudar a organizar e determinar se o resultado da proposição é verdadeiro ou falso. Mostramos que é possível chegar a conclusões verdadeiras utilizando a lógica formal para provar demosntrações matemáticas. |
| Abstract: | The objective of this monograph is to bring a discussion about truth tables as tools to validate compound propositions and also to present demonstrations using these tools. Over time, logic has been used over the years, formalizing itself and qualifying itself as a language today. A logical tool described by Aristotle is reliable as a valid analysis and also what is a valid decision in a decision in which the valid methodology is a choice for a valid decision. It is found in mathematics (in statements, in deductive arguments, etc.). In the study of formal logic, also known as mathematical logic, a proposition is an affirmative statement to which one can assign either a true or a false value, but not both. Thus, when we connect two or more propositions we use logical operators which are: no (∼); and (∧) ; or (∨) ; if, then (→); if, and only (↔), to form a single sentence, with this, the truth table is used to help organize and determine whether the result of the proposition is true or false. We show that it is possible to reach true conclusions using formal logic to prove mathematical proofs. |
| URI: | http://hdl.handle.net/11612/4737 |
| Aparece nas coleções: | Matemática |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| DÁFFNY LORRANY RODRIGUES DOS SANTOS - UFT - MATEM´TICA.pdf | 7.65 MB | Adobe PDF |  Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.