| Wikipédia em português - A enciclop... |
Consequência lógica
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.
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).
| Veja mais na Wikipédia.org... |
© Esse artigo usa material da Wikipédia® sob a licença Licença GNU de Documentação Livre e sob nos termos da licença Creative Commons Attribution-ShareAlike
