Sabendo que
e
determinar o valor lógico (
ou
) de cada uma das seguintes proposições:
Passo 1
O enunciado nos dá a proposição
e informa que ,
,
e
. Vamos usar as tabelas-verdade de
,
e
para avaliar.
e informa que
Passo 2
Avaliar o antecedente
:
Primeiro,
Primeiro,
Depois,
Passo 3
Avaliar o consequente
:
Como e
, temos
Como
Passo 4
Agora a implicação é
Na tabela-verdade de , sempre que o antecedente é
, a implicação vale
, independentemente do consequente.
Na tabela-verdade de
Resposta
V