Construir as tabelas-verdade das proposições abaixo:
Passo 1
O enunciado pede a tabela-verdade da proposição
Aqui vamos usar as operações lógicas: negação
, disjunção
, condicional
e bicondicional
.
Passo 2
Listamos todas as combinações de valores de verdade de
e
:
\quad
\quad
\quad
\quad
\quad
Passo 3
Calculamos
:
Passo 4
Calculamos
:
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
Passo 5
Calculamos
:
Passo 6
Calculamos
(lembre: só é falsa quando
é V e
é F):
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
Passo 7
Agora computamos o bicondicional
que é verdadeiro sempre que os dois lados tiverem o mesmo valor.
Resposta
A tabela-verdade completa é:
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad
\quad