Com relação a lógica proposicional, julgue o item a seguir.
Uma tautologia é uma proposição composta em que seu
valor lógico será sempre verdadeiro, independentemente do
valor lógico das proposições que a estruturam. Nesse
sentido, considerando-se p e q como proposições, a
proposição composta p^q <-> ~(p -> ~q) é uma tautologia.