Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a tabela-verdade da proposição
Aqui vamos usar que a negação
inverte o valor lógico de
, e que uma implicação
é falsa somente quando
é verdadeira e
é falsa; nos demais casos é verdadeira.
Passo 2
Listamos as quatro combinações possíveis de
e
e calculamos
:
Passo 3
Agora calculamos
em cada linha, lembrando que
é falsa apenas se
e
:
Passo 4
Finalmente, calculamos
em cada linha: