Please use this identifier to cite or link to this item: http://hdl.handle.net/11612/4737
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorSILVA, Renata Alves da-
dc.contributor.authorSANTOS, Dáffny Lorrany Rodrigues dos-
dc.date.accessioned2023-02-09T10:39:13Z-
dc.date.available2023-02-09T10:39:13Z-
dc.date.issued2023-
dc.identifier.citationSANTOS, 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.pt_BR
dc.identifier.urihttp://hdl.handle.net/11612/4737-
dc.description.abstractThe 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.pt_BR
dc.language.isopt_BRpt_BR
dc.publisherUniversidade Federal do Tocantinspt_BR
dc.rightsACESSO LIVREpt_BR
dc.subjectLógica formalpt_BR
dc.subjectTabelas-Verdadespt_BR
dc.subjectDemonstrações matemáticaspt_BR
dc.subjectRaciocínio Lógicopt_BR
dc.subjectFormal logicpt_BR
dc.subjectTruth-Tablespt_BR
dc.subjectMathematical proofspt_BR
dc.subjectLogical Reasoningpt_BR
dc.titleLógica Clássica e sua aplicabilidade em resolver problemas matemáticospt_BR
dc.typeMonografiapt_BR
dc.description.resumoO 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.pt_BR
dc.publisher.campusAraguaínapt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::MATEMATICApt_BR
dc.publisher.cursoCURSO::ARAGUAÍNA::PRESENCIAL::LICENCIATURA::MATEMÁTICApt_BR
dc.publisher.localAraguaínapt_BR
dc.publisher.levelGraduaçãopt_BR
Appears in Collections:Matemática

Files in This Item:
File Description SizeFormat 
DÁFFNY LORRANY RODRIGUES DOS SANTOS - UFT - MATEM´TICA.pdf7.65 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.