Dedução , na lógica, uma prova rigorosa, ou derivação, de uma afirmação (a conclusão) de uma ou mais afirmações (as premissas) - ou seja, uma cadeia de afirmações, cada uma das quais é uma premissa ou uma consequência de uma afirmação que ocorre no início da prova. Esse uso é uma generalização do que o filósofo grego Aristóteles chamou de silogismo, mas um silogismo é agora reconhecido apenas como um caso especial de dedução. Além disso, a visão tradicional de que a dedução procede “do geral para o específico” ou “do universal para o particular” foi abandonada como incorreta pela maioria dos lógicos. Alguns especialistas consideram todas as inferências válidas como dedutivas na forma e, por esta e outras razões, rejeitam o suposto contraste entre dedução e indução. Veja tambémmétodo axiomático; sistema formal; inferência.
Leia mais sobre este tópico pensamento: Dedução O raciocínio dedutivo, ou dedução, envolve a análise de formas válidas de argumento e extrair as conclusões implícitas em suas premissas ... Este artigo foi revisado e atualizado mais recentemente por Brian Duignan, Editor Sênior.
