A dedução pode ser considerada como o raciocínio ou inferência que parte do mais
universal ao menos universal, isto é, a partir de premissas mais gerais se chega a
conclusões menos gerais ou particulares. A forma clássica desse tipo de inferência é o
silogismo, que definiremos logo abaixo. É o tipo de inferência mais empregado nas
ciências exatas, por meio de provas gerais baseadas nas propriedades dos objetos
estudados. Observe o exemplo clássico de silogismo abaixo e responda a questão a seguir:
Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal.
Sobre o silogismo em geral e, sobre este em particular, é correto afirmar que:
Lé um raciocínio indutivo, pois parte de duas premissas verdadeiras e chega a uma
conclusão também verdadeira.
II. o termo médio homem liga os extremos e, por isso, não pode estar presente na
conclusão.
III. é um raciocínio válido, porque é constituído por proposições verdadeiras, não
importando a relação de inclusão (ou de exclusão) estabelecida entre seus termos.
IV. as premissas, desde que uma delas seja universal, devem tornar necessária a conclusão.
Marque a alternativa que contém todas as afirmações corretas.-
A
As afirmações II e IV estão corretas.
B.
Apenas a afirmação I está correta.
C
As afirmações I e II estão corretas.
D
As afirmações III e IV estão corretas.
E.
As afirmações II e III estão corretas.