Diante do exposto, nota-se que a regra da operação de negação é a de inversão do valor lógico original da proposição, conforme detalhado a seguir:

O Brasil foi campeão da copa de 2002.	O Brasil não foi campeão da copa de 2002.
p	~p
V	F

O Brasil foi campeão da copa de 2006.	O Brasil não foi campeão da copa de 2006.
p	~p
F	V

Relacionando com a teoria dos conjuntos, considere um conjunto p qualquer, representa-se facilmente a operação de negação com o diagrama abaixo que, assim como a regra da operação lógica, corresponde ao inverso de p: