Sabendo que
e
determinar o valor lógico (
ou
) de cada uma das seguintes proposições:
Passo 1
O enunciado pede para avaliar a proposição lógica
sabendo que ,
e
. Vamos usar a tabela-verdade dos conectivos para computar cada parte.
sabendo que
Passo 2
Calculamos as negações de
e de
:
Passo 3
Agora avaliamos cada subexpressão usando os valores encontrados:
Passo 4
Finalmente, combinamos as duas partes pela disjunção externa:
Resposta
A proposição
é verdadeira, ou seja,
.