O raciocínio dedutivo ou direto é um processo de chegar a uma conclusão a partir de uma ou mais afirmações, denominada(s) hipótese(s). Um argumento é um conjunto de afirmações em que uma delas é chamada de conclusão e as demais compõem a hipótese. Um argumento válido é um argumento em que a conclusão deve ser verdadeira sempre que a hipótese for verdadeira. No caso de um argumento válido, dizemos que a conclusão decorre da hipótese.
Fonte: Topic 1. Elementary Logic. In: MUSSER, G. L [et al]. Mathematics For Elementary Teachers: A Contemporary Approach. 9 th. John Wiley & Sons, Inc., 2011.

Considere-se o seguinte raciocínio dedutivo:
Se um número termina em zero, então ele é um múltiplo de 10. (Hipótese).
Quarenta é um número que termina em zero. (Hipótese).
Portanto, 40 é um múltiplo de 10. (Conclusão).

Essa forma válida de argumento é identificada como: