Por exemplo:
p: o Brasil foi campeão da copa de 2002.
Negação:
~p: o Brasil não foi campeão da copa de 2002.
Assim como a notação, a interpretação do valor lógico também é simples:
Sendo p: o Brasil foi campeão da copa de 2002.
Então o valor lógico de p é verdade, isto é:
Sendo ~p: o Brasil não foi campeão da copa de 2002.
Então o valor lógico de ~p é falso, isto é: