Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede para construir a tabela-verdade da proposição
Aqui temos duas variáveis proposicionais,
e
, e usamos as operações de negação
, conjunção
e bicondicional
. Vamos listar todas as combinações de
e
e, em seguida, calcular
, depois
e por fim
.
Passo 2
Primeiro calculamos
para cada valor de
:
Passo 3
Agora formamos
, lembrando que uma conjunção só é verdadeira se ambos os operandos forem verdadeiros:
Passo 4
Finalmente, avaliamos o bicondicional
. Lembrando que
é verdadeiro exatamente quando
e
têm o mesmo valor de verdade: