Sejam ~ e → os símbolos, respectivamente, dos seguintes...

Sejam ~ e → os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, e condicional. Classifique cada uma das afirmativas a seguir como verdadeira V ou falsa F

( ) A proposição P implica logicamente a proposição Q se, e somente se, a condicional P → Q é tautológica.

( ) Negar que duas proposições são, ao mesmo tempo, verdadeiras equivale a afirmar que pelo menos uma delas é falsa.

( ) A condicional p → q não é equivalente a condicional q → p.

( ) A condicional p → q é equivalente a condicional ~q → ~p.

A sequência dessa classificação, é