Sejam ~, ˄, → e ↔ os símbolos, respectivamente, dos seguinte...

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