Este é o Homem

Conclusão 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).

Agradecimentos
O aprendizado da Lógica auxilia os estudantes no raciocínio, na compreensão de conceitos básicos, na verificação formal de programas e melhor os prepara para o entendimento do conteúdo de tópicos mais avançados.
Este roteiro constitui uma INTRODUÇÃO À LÓGICA , procurando alcançar os objetivos gerais e específicos propostos pela disciplina Lógica Matemática de Cursos de Ciência da Computação que possuem a Lógica Matemática em seu currículo.
O que apresentamos aqui, de modo sucinto, engloba uma parte do