O raciocínio dedutivo, também chamado de lógica dedutiva ou dedução lógica ou até mesmo, informalmente, a lógica "top-down", é o processo de raciocínio a partir de uma ou mais afirmações (premissas) para chegar a uma certa conclusão lógica.

Método dedutivo é a modalidade de raciocínio lógico que faz uso da dedução para obter uma conclusão a respeito de determinada(s) premissa(s).