Logične vrednosti izjave in njene negacije zapišemo s pravilnostno tabelo:

A¬A
10
0
1
ali
A¬A
pn
n
p
Lastnost negacije
Negacija negacije (A) je
  
vedno pravilna.
enaka izjavi A.
vedno nepravilna.