IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası - Tekil Mesaj gösterimi - Modern Mantıkta Değilleme (~) Eklemi Nedir? Ne Değildir? Özelliği Nedir?

Kalemzede · 13 Kasım 2020, 21:19

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

Modern Mantıkta Değilleme (~) Eklemi Nedir? Ne Değildir? Özelliği Nedir?

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:

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

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:

Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.

[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]