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:.