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)
