No nosso dia a dia frequentemente utilizamos a expressão “é lógico” ou “isso é lógico”. Por exemplo: “É lógico que meu time será campeão esse ano”. “É lógico que gosto de pizza”, “É lógico que vou assistir aula de filosofia hoje”. Nesses casos, a expressão “é lógico” é utilizada no sentido de algo que parece ser evidente, em que não há nenhuma dúvida. A lógica formal foi desenvolvida por: