Construa as tabelas verdade das seguintes proposições:
Passo 1
O enunciado pede para construirmos a tabela-verdade da proposição \r
O conteúdo é lógica proposicional, e vamos usar as definições:\r
-
é verdadeiro se e só se for falso;\r -
é falso só quando é verdadeiro e é falso, e verdadeiro caso contrário;\r -
é verdadeiro se e só se e tiverem o mesmo valor lógico.
Passo 2
Primeiro listamos todas as combinações possíveis de valores de
e
e calculamos
:\r
Passo 3
Agora, para cada linha, calculamos o valor de
, que é verdadeiro exatamente quando
e
coincidem:\r
Passo 4
Em seguida, calculamos
, que só falha (é
) quando
e
:\r
Passo 5
Por fim, fazemos o bicondicional entre as colunas
e
. Lembrando que
é
se e só se ambos forem iguais:\r