Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a tabela-verdade da proposição
O conteúdo envolvido é lógica proposicional: vamos verificar todas as combinações de verdade dos átomos
e
e calcular passo a passo cada conectivo até chegar ao valor final da implicação.
Passo 2
Identificamos as subfórmulas cujos valores precisamos computar:
-
-
-
-
-
(fórmula principal)
Passo 3
Para cada uma das 4 combinações de
— onde usaremos
para verdadeiro e
para falso — calculamos em sequência os valores de 1 a 5.
Passo 4
Resposta
A tabela-verdade da proposição
é a mostrada acima.