Use o Método dedutivo para demonstrar:
sim(sim p sim q) Leftrightarrow sim p wed>= q

Passo 1

O enunciado pede para mostrar que a fórmula neg(neg p to neg q) é logicamente equivalente a neg p wed>= q, usando propriedades de equivalência em lógica proposicional.

Passo 2

Usamos primeiro a equivalência da implicação, que diz que A to B equiv neg A vee B. Aplicando em neg p to neg q, temos:
neg(neg p to neg q) equiv neg(neg(neg p) vee neg q) equiv neg(p vee neg q)

Passo 3

Agora aplicamos a Lei de De Morgan em neg(p vee neg q), que transforma negação de disjunção em conjunção de negações:
neg(p vee neg q) equiv neg p wed>= neg(neg q)

Passo 4

Em seguida, usamos dupla negação para simplificar neg(neg q):
neg(neg q) equiv q

Passo 5

Encadeando todas as equivalências, chegamos a:
neg(neg p to neg q) equiv neg p wed>= q

Resposta

neg(neg p neg q) Leftrightarrow neg p wed>= q

Exercícios relacionados