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 pede para verificar se a implicação
é uma tautologia. O conteúdo envolve tautologias em lógica proposicional e podemos usar tabela-verdade ou buscar um contraexemplo.
Passo 2
Vamos analisar o caso em que
é falso e
é verdadeiro, ou seja,
. Calculamos cada parte:
Passo 3
Nesse cenário o antecedente
vale
e o consequente
vale
. Logo a implicação
é falsa para essa atribuição de valores, portanto não é uma tautologia.
Resposta
A afirmação
é incorreta.