consequência lógica

Consequência lógica é um conceito fundamental na lógica. Trata-se de uma relação entre um conjunto de sentenças (ou proposições) e uma sentença (proposição), na qual o primeiro acarreta o segundo. Por exemplo, diz-se que "Caco é verde" é uma consequência lógica de "todos os sapos são verdes" e "Caco é um sapo", porque seria "auto-contraditório" afirmar estas últimas sentenças e negar a primeira. A consequência lógica é a relação entre as premissas e a conclusão de um argumento válido. Estas definições tendem a ser circulares; fornecer uma explicação razoável para consequência lógica e para o acarretamento constitui um tópico importante da Filosofia da lógica. A verdade da consequência acima depende tanto da verdade dos antecedentes como da relação de consequência lógica entre os antecedentes e o consequente. A consequência poderá não ser verdadeira, se nem todos os sapos forem verdes. Consequências lógicas ou inferências por raciocínio dedutivo são um aspecto importante da epistemologia que comunica ao público em geral hipóteses a cerca da causalidade de fatores de risco. Uma relação de consequência lógica especificada formalmente pode ser caracterizada através da teoria dos modelos ou da teoria da demonstração (ou ambos). A consequência lógica também pode ser expressa como uma função de conjuntos de sentenças para conjuntos de sentenças (a formulação preferida de Tarski), ou como uma relação entre dois conjuntos de sentenças (lógica de conclusão múltipla).