Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede para construir a tabela‐verdade da proposição
O conteúdo necessário é a lógica proposicional: funções verdade de negação, implicação, disjunção e bicondicional. Vamos montar passo a passo.
Passo 2
Listamos todas as combinações possíveis de
. São
linhas:
Passo 3
Calculamos
para cada linha:
Passo 4
Calculamos
. Lembrete:
é sempre
;
é
;
é
.
Passo 5
Calculamos
. Disjunção: basta um verdadeiro para resultar
.
Passo 6
Finalmente, obtemos
. Bicondicional é
se os dois lados tiverem o mesmo valor, e
caso contrário.
Resposta
A tabela‐verdade completa é: