Negação da conjunção – Regra de De Morgan As negações da conjunção e da disjunção são conhecidas como Regras de De Morgan e são fáceis de memorizar...

Negação da conjunção – Regra de De Morgan
As negações da conjunção e da disjunção são conhecidas como Regras de De Morgan e são fáceis de memorizar pela sua estrutura simples:
∼ ???? ∧ ???? = ~???? ∨∼ ????
A regra nos diz que ao negar uma conjunção, podemos negar individualmente cada proposição simples trocando o operador “e” por um operador “ou”. A prova desta relação se dá na tabela-verdade a seguir:
p q ∼ ???? ∧ ???? = ~???? ∨∼ ????~ ???? ∧ ???? ~p ~q∼ ???? ∧ ???? = ~???? ∨∼ ????
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
Observando a quarta e a sétima coluna, verifica-se o mesmo valor lógico em todas as linhas, o que prova a equivalência.
Usando frases como exemplo, se considerarmos p = “Eu sei nadar” e q = “Eu sei correr”, a negação correta de “Eu sei nadar e sei correr” será “Eu não sei nadar ou não sei correr”