Sejam ~, ˄, → e ↔ os símbolos, respectivamente, dos seguinte...
( ) 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, é: