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, é: