Mantıkta, bir önermenin değili (veya olumsuzu), o önermenin doğruluk değerini tersine çeviren bir işlemdir. Yani, bir önerme doğruysa (D) onun değili yanlış (Y), yanlışsa onun değili doğru olur.
Bir p önermesinin değili genellikle aşağıdaki sembollerden biriyle gösterilir:
Bu ders notlarında biz p' gösterimini kullanacağız.
Bir önermenin değilinin doğruluk durumunu anlamanın en iyi yolu bir doğruluk tablosu oluşturmaktır.
| p | p' |
|---|---|
| D (Doğru) | Y (Yanlış) |
| Y (Yanlış) | D (Doğru) |
Önermelerin değillerini bulalım:
💡 Hatırlatma: Bir önermenin değilini alırken cümle yapısına dikkat etmek gerekir. Bazen "değil" kelimesini eklemek yerine cümlenin anlamını tamamen zıttıyla ifade etmek daha doğru olur. Örneğin, "Tüm kuşlar uçar." önermesinin değili "Bazı kuşlar uçmaz." şeklindedir.