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