Os silogismos são sequências constituídas por premissa – premissa – conclusão, nos quais, através do raciocínio dedutivo, é possível alcançar um resultado lógico. O silogismo é um exemplo perfeito do raciocínio dedutivo. Tomemos como exemplo: “Todos os rios são poluídos. / O Tejo é um rio. / Logo, o rio Tejo é poluído”. Em termos lógicos, a afirmação é verdadeira. Mas e se eu não concordar com essa afirmação? E se o rio Tejo não for poluído? Posso, então, refutar as premissas.

O texto-base revela algumas características da lógica formal e informal. Sobre isso, e de acordo com os seus conhecimentos sobre silogismos, é correto afirmar que: