A lógica é fundamental para as definições e postulados da matemática … vem antes da matemática.
A lógica estabelece axiomas, verdades absolutas, e através de regras lógicas, estabelecem teoremas, corolários, lemas e outras ferramentas lógicas, como dedução, indução e abdução, que são modelos lógicos para justificar argumentos e resolver problemas.
( Axioma e Teoremas são dois conceitos introduzido por Euclides para fundamentar a “geometria euclidiana”, um sistema de axiomas que estuda o plano e o espaço em duas e três dimensões ).
A lógica, dessa forma, contribui para determinar se uma proposição ou um teorema (conjunto de proposições) é verdadeiro ou falso, e dessa forma, poder tirar conclusões, propor conjecturas, provar e relacionar outros teoremas, tendo sempre os axiomas no seu núcleo.
Teoremas
Teorema é uma “proposição lógica” que pode ser comprovada como verdadeira por meio de um processo lógico, utilizando axiomas e postulados, que são “proposições verdadeiras absolutas”, não provadas e admitidas, que regem o contexto e seus paradigmas de um sistema qualquer, seus limites e restrições.
A palavra “teorema” vem do grego que significa “penso, medito“.
O termo “teorema” foi introduzido por Euclides, em Elementos, para significar “afirmação que pode ser provada”.
Convivemos na vida e na empresa com muitos teoremas.
Por exemplo, um software ou modelo de gestão é um tipo de teorema no domínio de administração de processos de negócios.
Um teorema é o resultado do desdobramento de conceitos matemáticos considerados incontestáveis, ou seja, de deduções baseadas em axiomas.
Um exemplo de teorema é o Teorema de Pitágoras, que diz que “a soma dos quadrados dos catetos é igual ao quadrado da hipotenusa”, que é um desdobramento dos axiomas de Euclides.
Teorema também pode se referir a um software de gestão que ajuda a controlar o desempenho de uma empresa.
O Teorema de Pareto
Também conhecido como regra do 80/20, este princípio afirma que 80% dos efeitos vêm de 20% das causas.
Eficiência de Pareto
Este conceito define um estado de alocação de recursos em que não é possível melhorar a situação de um participante sem piorar a de outro.