Construa tabelas verdades para:
Passo 1
O enunciado pede a tabela–verdade da fórmula lógica
. O conteúdo é lógica proposicional, e vamos usar as definições de negação
e conjunção
para avaliar todos os casos possíveis da proposição
.
Passo 2
Listamos todas as possíveis avaliações de
. Como
é uma proposição simples, ela pode ser verdadeira
ou falsa
:
Passo 3
Para cada valor de
, calculamos
pela regra
Passo 4
Em seguida, calculamos
usando a definição de conjunção:
é verdadeira só quando
e
são ambas verdadeiras; caso contrário é falsa.