Na etapa de validação de regras de decisão de um sistema informatizado, dois eventos são representados pelas proposições simples p e q. Antes da implementação, a equipe precisa verificar se determinadas expressões lógicas são verdadeiras para todas as possíveis valorações de p e q, falsas em todas elas ou dependentes dos valores assumidos pelas proposições. Considerando, respectivamente, as classificações tautologia, contradição e contingência, analise as assertivas e classifique-as como verdadeiras (V) ou falsas (F).

(__) A expressão (p ^ q) → p é uma tautologia.

(__) A expressão (p → q) ^ p ^ ¬q é uma contradição.

(__) A expressão (p → q) v (q → p) é uma contingência.

(__) A expressão (p ↔ q) v ¬(p ↔ q) é uma tautologia.

(__) A expressão (p v q) ^ (¬p v ¬q) é uma contradição.

A sequência CORRETA, de cima para baixo, é: