Verifique, por meio das tabelas-verdades, a validade das equivalências abaixo.
da negação
da negação
Passo 1
O enunciado pede para verificar, usando tabelas-verdade, se as equivalências de negação dupla e as Leis de De Morgan são tautologias. Vamos usar lógica proposicional: montar tabelas alinhando as colunas de cada proposição, suas negações e as fórmulas compostas, comparando sempre as colunas do lado esquerdo e direito da equivalência.
Passo 2
Para
montamos:
A coluna
coincide exatamente com a coluna
. Logo, a equivalência é verdadeira para todas as valorações.
Passo 3
Para
montamos:
As colunas
e
coincidem em todas as linhas, então a equivalência é sempre verdadeira.
Passo 4
Para
montamos:
As colunas
e
também coincidem em todas as linhas, confirmando a validade da equivalência.