Bir önermenin hükmünün değiştirilmesi ile elde edilen yeni önermeye bu Önermenin değili (olumsuzu) denir. Bir p önermesinin değili ile gösterilir.
ÖRNEK:
p: Bebekler süt içer
~p: Bebekler süt içmez.
q: Ali'nin yaşı 5' ten büyüktür.
~q: Ali'nin yaşı 5 'tir veya 5'ten küçüktür.
NOT: Bir önermenin değilinin değili kendisine eşittir.
yani p önermesi doğru ise ~p önermesi yanlış, ~(~p) önermesi doğru olur. Tablo ile gösterirsek,
