Lógica Clássica e sua aplicabilidade em resolver problemas matemáticos

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.