IRCRehberi.Net- Türkiyenin En iyi IRC ve Genel Forum Sitesi

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:

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

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:

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

Alinti