Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede para construir a tabela-verdade da proposição
O conteúdo aqui é lógica proposicional, envolvendo a negação
, a disjunção
e a implicação
. Vamos listar todas as combinações de valores de verdade de
e
e depois calcular cada subfórmula.
Passo 2
Listamos as quatro possíveis atribuições de verdade a
e
:
Passo 3
Calculamos
em cada caso:
Passo 4
Calculamos
usando a tabela da disjunção (
é verdadeiro se ao menos um dos operandos for verdadeiro):
Passo 5
Calculamos
usando a tabela da implicação (é falsa somente quando antecedente é V e consequente é F):
- antecedente V, consequente V
V - antecedente F, consequente V
V - antecedente V, consequente F
F - antecedente V, consequente F
F
Resposta
A tabela-verdade completa é