Sabendo que
e
determinar o valor lógico (
ou
) de cada uma das seguintes proposições:
Passo 1
O exercício fornece os valores lógicos
,
,
e
e pede o valor de
O conteúdo aqui é lógica proposicional, em especial avaliação de negação e implicação usando tabela‐verdade.
Passo 2
Calculamos
. Como
é verdadeiro
, temos
Passo 3
A seguir avaliamos
. Com antecedente
e consequente
, a implicação é verdadeira (uma implicação com antecedente falso vale
). Logo,
Passo 4
Agora avaliamos
. Como
e
, a implicação também é verdadeira. Portanto,
Passo 5
Finalmente, avaliamos
Temos antecedente
e consequente
, logo a implicação final é