Use a tabela-verdade para verificar estas equivalências.
Passo 1
O enunciado pede para verificar, usando tabela-verdade, a lei identidade da disjunção em lógica proposicional:
Aqui
é a proposição sempre falsa. Vamos montar a tabela-verdade de modo a comparar a coluna de
com a de
.
Passo 2
Montamos a tabela-verdade considerando as duas valorações possíveis para
. A coluna de
é sempre falsa:
p |
|
—|:—😐:—: |
|
|
|
—|:—😐:—:
Passo 3
Observando a tabela, em cada linha o valor de
coincide exatamente com o valor de
. Isso mostra que as duas proposições têm sempre o mesmo valor-verdade.
Resposta
A equivalência
está verificada pela tabela-verdade.