Consequência lógica é um conceito fundamental na
lógica. Trata-se de uma
relação entre um
conjunto de (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.