p: "7 bir asal sayıdır." p': "7 bir asal sayı değildir." Buradaki ponermesinin doğruluk değeri 1 olduğundan p' önermesinin doğruluk değeri 0'dir. Bir önermenin değilinin değili kendisine denktir. Yani, (p')' = p'dir. Önerme p: "3+2=5 tir." q: "7+1>4 tür." r: "8-3 10 dur." t: "20​