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: