inferencias complexas

INFERÊNCIAS COMPLEXAS (OU MEDIATAS)
DEDUÇÃO
Neste tipo de raciocínio parte-se do geral para o particular. Parte-se das causas para os efeitos, das leis para os factos, dos princípios para as suas consequências necessárias. Se aceitarmos a verdade das premissas de que partimos, somos logicamente obrigados a aceitar a verdade da conclusão, sob pena de nos contradizermos.
Na deducao a experiencia não desempenha papel algum: chega – se a uma conclusão, mas essa deriva única e exclusivamente das premissas, podendo ser de um grau de generalidade lógico igual ou superior as mesmas, como acontece na deducao matemática.
A deducao pode ser definida como a inferência em que de uma ou mais premissas tomadas como verdadeiras se tira uma conclusão tomada necessariamente como verdadeira.
Os moçambicanos são africanos (premissas)
Os macuas são moçambicanos (premissas)
Logo, os macuas são africanos (conclusão)
Nas seguintes proposições se aceitarmos a verdade das premissas, somos obrigados a aceitar a verdade da conclusão , sob pena de entrarmos em contradição.
Deducacao formal (silogística)
Silogismo – segundo Aristóteles, o silogismo é uma forma de inferência mediata ou raciocínio dedutivo formado por três (3) proposições, sendo as duas primeiras designadas por premissas e a terceira por conclusão.
Duas delas são as espécies de silogismos que recebem a sua designacao de acordo com o tipo de juízo ou proposição que forma a primeira premissa: categóricos e hipotéticos.
Estrutura e matéria do silogismo
Exemplo:
Todos os moçambicanos são orgulhosos. – Termo maior (P) ora, todos os macuas ( Termo menor (S)) são moçambicanos. Termo médio (M) p portanto, todos os macuas são orgulhosos.
 Todo o silogismo categórico é composto por três (3) proposições ou juízos, sendo duas premissas - «Todos os moçambicanos sap orgulhosos». E «Todos os macuas são moçambicanos». – e uma conclusão - «Todos os macuas são orgulhosos».
Neste caso, convém salientar que as premissas e a