A dedução é um tipo de argumentação em que a conclusão se segue das premissas, que são proposições de cujo conjunto se infere uma conclusão.

É um argumento dedutivo correto, o que está dito na conclusão é extraído das proposições que a antecedem, pois na verdade está implícito.

Na dedução lógica, não se diz mais na conclusão ao que já tinha sido dito nas premissas.

Na dedução lógica, o enunciado da conclusão excede o conteúdo das premissas.