Sabendo que
e
determinar o valor lógico (
ou
) de cada uma das seguintes proposições:
Passo 1
O enunciado dá as valorações
,
,
e
e pede o valor de verdade da proposição
Vamos calcular passo a passo cada subfórmula e depois usar a definição de implicação.
Passo 2
Calcular o antecedente
. Primeiro
e
Portanto
Passo 3
Calcular o consequente
:
Passo 4
A implicação
só é falsa quando
e
; em qualquer outro caso é verdadeira. Aqui temos
e
, logo
Resposta
A proposição vale
.