Use tabelas verdade para estabelecer as seguintes equivalências.
Mostre que neg(p vee q) é logicamente equivalente a neg p wed>= neg q.

Passo 1

O enunciado pede para mostrarmos que neg(pvee q) é logicamente equivalente a neg pwed>=neg q. Vamos usar o método da tabela– verdade, que consiste em listar todas as combinações de valores lógicos de p e q, calcular os valores de neg(pvee q) e de neg pwed>=neg q, e verificar que ambas as colunas coincidem em todos os casos.

Passo 2

Montamos a tabela– verdade para neg(pvee q):
p q pvee q neg(pvee q)
V V V F
V F V F
F V V F
F F F V

Passo 3

Montamos a tabela– verdade para neg pwed>=neg q:
p q neg p neg q neg pwed>=neg q
V V F F F
V F F V F
F V V F F
F F V V V

Passo 4

Comparando as colunas de neg(pvee q) e de neg pwed>=neg q vemos que em cada linha obtivemos exatamente os mesmos valores: F,F,F,V. Como as duas fórmulas coincidem para todas as combinações de p e q, elas são logicamente equivalentes.

Resposta

neg(pvee q);equiv;neg pwed>=neg q

Exercícios de Livros Relacionados