Verifique, por meio das tabelas-verdades, a validade das equivalências abaixo.
da negação
sim(sim p) Leftrightarrow p
sim(p wed>= q) Leftrightarrow sim p vee sim q
sim(p vee q) Leftrightarrow sim p wed>= sim q

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.

Resposta

sim(sim p)Leftrightarrow p é válida
sim(pwed>= q)Leftrightarrow sim pveesim q é válida
sim(pvee q)Leftrightarrow sim pwed>=sim q é válida

Exercícios relacionados