Quais das seguintes formas são tautologias, proposições logicamente falsas ou nenhuma das duas condições?
Passo 1
O enunciado pede para classificar a forma
como tautologia, contradição (proposição logicamente falsa) ou contingência. Vamos usar tabela-verdade.
Passo 2
Listamos todos os possíveis valores de
e calculamos
e
:
Passo 3
Para cada caso:
:
:
:
:
Passo 4
Em todas as quatro linhas o valor final é
. Isso mostra que a forma é sempre falsa, independentemente de
e
.
Resposta
A forma
é uma proposição logicamente falsa (contradição).