terça-feira, 23 de outubro de 2007

Dedução

Dedução é uma inferência que parte do universal para o mais particular.

Considera-se que um raciocínio é dedutivo quando, de uma ou mais premissas, se conclui uma proposição que é conclusão lógica da(s) premissa(s). A dedução é um raciocínio de tipo mediato, sendo o silogismo uma das suas formas clássicas.

A indução pode ser reduzida a dedução no corpo da lógica clássica.

Nenhum comentário: