Dedução é uma espécie de argumento no qual a forma lógica válida garante a verdade da conclusão se as premissas forem verdadeiras.