Question

A dupla negação apresentada na tabela de equivalências notáveis

Answer 1

Resposta:Uma dupla negação em lógica proposicional significa que estamos negando uma proposição que já negada. Sendo assim, considerando uma proposição P, sua negação seria:

~p

Se a negação de P é ~P, por tanto, para negar a negação de P devemos adicionar o ~ antes de ~P ficando:

~(~P)

Segundo as equivalências notáveis, sempre que uma negativa é negada, ela se torna uma afirmativa positiva, por tanto:

~(~P) = P

Explicação:Uma dupla negação em lógica proposicional significa que estamos negando uma proposição que já negada. Sendo assim, considerando uma proposição P, sua negação seria:

~p

Se a negação de P é ~P, por tanto, para negar a negação de P devemos adicionar o ~ antes de ~P ficando:

~(~P)

Segundo as equivalências notáveis, sempre que uma negativa é negada, ela se torna uma afirmativa positiva, por tanto:

~(~P) = P