Sabendo que
e
determinar o valor lógico (
ou
) de cada uma das seguintes proposições:
Passo 1
O enunciado dá três proposições
com
e pede o valor de
Passo 2
Calcular
. Como
, segue
Passo 3
Calcular
. A implicação só é falsa se o antecedente for
e o consequente for
. Aqui
logo
Passo 4
Calcular
. Primeiro,
Depois,
Passo 5
Calcular o bicondicional
Como temos
, o bicondicional é falso: