///
Esta questão foi aplicada no ano de 2021 pela banca CESPE / CEBRASPE no concurso para DEPEN. A questão aborda conhecimentos da disciplina de Raciocínio Lógico e Quantitativo, especificamente sobre Tautologia, Contradição e Contingência Lógica.
Esta é uma questão de múltipla escolha com 2 alternativas. Teste seus conhecimentos e selecione a resposta correta.
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.