Mantıkta, bir önermenin değili (veya olumsuzu), o önermenin doğruluk değerini tersine çevirir. Eğer bir p önermesi doğruysa, onun değili yanlış; eğer p yanlışsa, onun değili doğru olur.
p önermesinin değili genellikle aşağıdaki sembollerden biriyle gösterilir:
Bu ders notlarında yaygın olarak kullanılan p' (p üssü) gösterimini kullanacağız.
Bir önermenin değilinin doğruluk değerini anlamanın en iyi yolu bir doğruluk tablosu oluşturmaktır.
p önermesi için iki olası doğruluk değeri vardır: 1 (Doğru) veya 0 (Yanlış).
p' önermesi, p'nin tam tersi değeri alır.
Bunu bir tablo ile gösterelim:
p | p'
--|---
1 | 0
0 | 1
Basit önermelerle konuyu pekiştirelim.
Eğer "Bugün hava güneşli" önermesi doğruysa (p=1), "Bugün hava güneşli değil" önermesi yanlıştır (p'=0).