Quais das seguintes formas são tautologias, proposições logicamente falsas ou nenhuma das duas condições?
Passo 1
O enunciado pede para classificarmos a forma
como tautologia, contradição (proposição logicamente falsa) ou nenhuma das duas (contingente).
Passo 2
Aplicamos a Lei de De Morgan, que afirma a equivalência lógica
Quando duas fórmulas
e
são logicamente equivalentes, o conectivo bicondicional
é sempre verdadeiro, ou seja, é uma tautologia.
Passo 3
Como
e
são logicamente equivalentes por De Morgan, a proposição
é verdadeira em todas as interpretações.
Resposta
A forma
é uma tautologia.