Na lógica, existem algumas definições que caracterizam tipos de afirmações.

Na lógica, existem algumas definições que caracterizam tipos de afirmações. Estas apresentam uma relação entre as proposições e os resultados referentes às operações lógicas aplicadas e podem ser caracterizadas por fórmulas proposicionais.

Assim, considerando as informações apresentadas e os conteúdos estudados, analise os tipos de afirmações e definições a seguir e associe-as com suas respectivas características.

I) Tautologia.

II) Contradição.

III) Proposição composta.

IV) Quantificador existencial.

( ) composta de várias proposições simples.

( ) o resultado é sempre verdadeiro.

( ) para qualquer relação entre proposições, existe um elemento na relação que é verdadeiro.

( ) a proposição é sempre falsa, independente das afirmações presentes nas proposições.

A partir das relações feitas anteriormente, assinale a alternativa que apresenta a sequência correta:

III, I, IV, II.

III, IV, I, II.

III, I, II, IV.

I, II, III, IV.

II, III, I, IV.