Lembre-se: Dadas duas proposições
e
:
- Escrevemos
quando
for uma tautologia.
- Escrevemos
quando
for uma tautologia.
Quais das seguintes afirmações são corretas? Justifique sua resposta.
Passo 1
O enunciado quer saber se podemos afirmar
,
ou seja, se a fórmula
ou seja, se a fórmula
é uma tautologia. Para resolver, vamos montar a tabela-verdade de
.
Passo 2
Recordando que
só é falsa quando
é verdadeira e
é falsa, montamos:
Passo 3
Observamos que na linha
obtemos
e
.
Logo assume valor falso em pelo menos uma avaliação.
e
Logo
Passo 4
Como existe avaliação que torna
falsa, não se trata de tautologia. Logo não vale
Resposta
A afirmação
é falsa.