Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a construção da tabela‐verdade da proposição
O conteúdo é lógica proposicional e vamos usar o método de tabela‐verdade: listar todas as valorações de
e
, calcular as negações
, depois os conjuntos
e
e, por fim, a disjunção dessas partes.
Passo 2
Listamos todas as valorações de
e
e calculamos
e
:
Passo 3
Usando
e
, calculamos os conjuntos
e
:
Passo 4
Agora calculamos a disjunção final
:
Resposta
A tabela‐verdade de
é a apresentada acima.