Bir önermenin değiline (olumsuzuna) örnek olarak şunlar verilebilir: p : "100, çift sayıdır." önermesinin değilini bulalım. Çözüm: Verilen önermenin değili, ~p : "100, çift sayı değildir." şeklindedir. q : "12 + 13 + 14 ≠ 3" önermesinin değilini bulalım. Çözüm: Verilen önermenin değili, ~q : "12 + 13 + 14 = 3" şeklindedir. q : "-5 < -2" önermesinin değilini bulalım. Çözüm: Verilen önermenin değili, ~q : "-5 ≥ -2" şeklindedir. p : "Kömürün rengi siyahtır." önermesi. Çözüm: p önermesi doğru bir önermedir, p ≡ 1 olur. q : "Demir bir metal değildir." önermesi. Çözüm: q önermesi yanlış bir önermedir, q ≡ 0 olur.