Construa uma tabela-verdade para cada uma destas proposições compostas.
Passo 1
O enunciado pede a construção da tabela-verdade da proposição composta
Aqui o conteúdo é Lógica Proposicional, mais especificamente tabelas-verdade e conectivo bicondicional. Para resolver, precisamos listar todas as valorações de
, calcular
e por fim o valor de
.
Passo 2
Listamos primeiro as possíveis valorações de
e calculamos
:
Passo 3
O bicondicional
é verdadeiro exatamente quando
e
têm o mesmo valor de verdade. Como sempre são diferentes, o bicondicional será sempre falso: