Construa a tabela-verdade para cada uma das proposições
Passo 1
O enunciado pede a tabela-verdade da proposição
O conteúdo envolve as operações lógicas de conjunção (
), disjunção (
) e implicação (
). Para montar a tabela, precisamos listar todas as combinações possíveis de valores lógicos de
e
e em seguida calcular as colunas intermediárias
,
e, por fim,
.
Passo 2
Listamos as quatro combinações possíveis de
, usando
para verdadeiro e
para falso:
Passo 3
Para cada linha, calculamos
. Lembrando que
caso contrário é
.
Passo 4
Para cada linha, calculamos
. Lembrando que
caso contrário é
.
Passo 5
Para cada linha, calculamos
. Pela definição de implicação,
é falso somente quando
e
; nos demais casos é verdadeiro.