Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a tabela-verdade da proposição
Isso envolve três variáveis lógicas
e os conectivos negação
, conjunção
, disjunção
e implicação
. Vamos usar a definição de cada operador para montar a tabela-verdade.
Passo 2
Listamos todas as
combinações de
e calculamos em cada linha
e
. Com os resultados de
e
, calculamos em cada linha as colunas
e
.
Passo 3
Finalmente, aplicamos a definição de implicação:
é falsa só quando
é verdadeira e
é falsa; nos demais casos é verdadeira. Aqui
é
e
é
. Reunimos os resultados em uma tabela completa, com as colunas intermediárias e o valor final da implicação.