///
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 → Q implica logicamente a proposição P → 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 CORRETA dessa classificação, é