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 |
~q |
| 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:
