Questão de Testes Anteriores

Sejam ~, ˄, → e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, conjunção, condicional e bicondicional. Classifique cada uma das afirmativas a seguir como Verdadeira (V) ou Falsa (F) ( ) Uma sentença composta é chamada contradição quando seu valor lógico puder ser a verdade ou a falsidade, dependendo dos valores lógicos das sentenças simples que a compõem. ( ) Se a bicondicional P ↔ Q não é tautológica, então a proposição P não é equivalente à proposição Q. ( ) A proposição D : ~p ( p ~ q) é uma contradição. ( ) As condicionais p p q e p q não são equivalentes. ( ) Contingência é toda proposição composta que não é tautologia nem contradição. A sequência CORRETA dessa classificação, de cima para baixo, é: