Sabendo que
e
determinar o valor lógico (
ou
) de cada uma das seguintes proposições:
Passo 1
O enunciado dá os valores de verdade de
,
e
:
e pede para avaliar a proposição composta
Vamos usar as regras das tabelas-verdade para
,
,
e
.
Passo 2
Calcular o valor de
. Como
e
, temos
Passo 3
Agora avaliamos
. Usando
e
,
Passo 4
Em seguida, calculamos o bicondicional
. Como
e
,
Passo 5
Por fim, avaliamos a implicação entre o resultado de
e
. Temos antecedente
e consequente
, portanto