Değilleme Eklemi, Değil (~)

Olumlu bir ifadeyi olumsuz, olumsuz bir ifadeyi olumlu yapan deyimlere değilleme denir. Değilleme eklemi, "~" sembolü ile gösterilir.



Örneğin;

"İnsan özgürdür." önermesini p ile sembolleştirirsek, "İnsan özgür değildir." önermesi, ~p biçiminde sembolize edilir.

Bir önerme doğru ise, değillemesi yanlış; bir önerme yanlış ise, değillemesi doğru değer alır.

Bu durumu tabloda şu şekilde ifade edebiliriz:



Değillenen önerme tekrar değillendiğinde, oluşan yeni yapı ilk önermenin doğruluk değerini alır ve buna da çifte değilleme kuralı denir. Yukarıdaki tabloyu bir de çifte değilleme kuralıyla oluşturalım:





Hazırlayan: Sosyolog Ömer YILDIRIM
Kaynak: Ömer YILDIRIM'ın Kişisel Ders Notları. Atatürk Üniversitesi Sosyoloji Bölümü 3. Sınıf "Klasik Mantık" ve "Modern Mantık" Dersleri Ders Notları (Ömer YILDIRIM)