Bir önermenin değili (olumsuzu) alma kuralı şu şekildedir: Bir p önermesinin değili, p’ ya da ~p simgelerinden biri ile gösterilir. Eğer p önermesi doğru ise (~p) önermesi yanlıştır. Eğer p önermesi yanlış ise (~p) önermesi doğrudur. Örnek: p : “100, çift sayıdır.” önermesinin değili, ~p : “100, çift sayı değildir.” şeklindedir. q : “12 + 13 + 14 ≠ 3″ önermesinin değili, ~q : “12 + 13 + 14 = 3″ şeklindedir. Ayrıca, De Morgan Kuralı gereği, bir bileşik önermenin değili, onu oluşturan önermelerin değillerinin "veya" bağlacı ile bağlanmasına eşittir.