Dedução é um processo de raciocínio através do qual é possível, partindo de uma ou mais premissas aceitas como verdadeiras, obter uma conclusão necessária e evidente, ou seja, é um raciocínio que se move do geral para o particular. Por exemplo, a partir da proposição geral de que todas as árvores têm folhas e da proposição adicional de que os carvalhos são árvores, pode-se extrair a inferência dedutiva de que os carvalhos têm folhas. É o oposto de indução.