IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası - Tekil Mesaj gösterimi - Modern Mantıkta Çözümleyici Çizelge Nedir? Ne Değildir? Özelliği Nedir?

Kalemzede · 13 Kasım 2020, 23:39

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

Modern Mantıkta Çözümleyici Çizelge Nedir? Ne Değildir? Özelliği Nedir?

Doğruluk tablosunda denetleme yapılırken, önermelerin sayısı arttıkça işlem yapmak zorlaşır. Daha önce belirttiğimiz gibi, tek bir önermenin doğru ve yanlış olmak üzere iki, iki önermenin dört, üç önermenin sekiz, dört önermenin on altı farklı değeri vardır. Bu zorluğu ortadan kaldırmak için “Çözümleyici Çizelge” kullanılır. Bir ya da birden fazla önermenin doğrulayıcı ve yanlışlayıcı yorumlarını bir çizelge üzerinde belirtmeye yarar. Önermeler adım adım bileşenlerine ayrılır.

Çözümleyici çizelgenin bir takım temel kuralları vardır. Çünkü çözümleyici çizelgede denetleme yapılırken, bütün önermeler “Tümel Evetleme” ve “Tikel Evetleme”nin kuralına indirgenerek çözümlenir. Çözümleme kurallarını aşağıdaki başlıkları takip ederek öğrenebilirsiniz:

Diğer bütün önerme eklemleri ile yapılmış önermeler, yalnızca bu iki önerme türüne dönüştürülerek çözümlenebilir. Mesela koşul eklemi (=>) ile yapılan bir önerme, muhakkak tikel evetleme ya da tümel evetleme önermesine dönüştürülerek denetlenebilir. Bu dönüştürme de belli kurallar dâhilinde gerçekleşir. Bu kurallara, “De Morgan Kuralları” adı verilir. Der Morgan Kuralları, aşağıdaki tabloda açıkça verilmiştir.

Türetilmiş Çözümleme Kuralları da denilen bu kurallar, tümel evetleme ve tikel evetleme biçiminde olmayan önermeler için uygulanır. Bu önermeler önce kendisine denk olan tümel evetlemeye ya da tikel evetlemeye dönüştürülür. Çözümleme, yukarıda gördüğümüz tümel evetleme ve tikel evetlemenin kurallarına göre yapılır. Aşağıdaki tabloda, “De Morgan Kuralları” adı verilen başlıca denklikler (Eş Değerlikler) verilmiştir.

Bu eş değerliklerin ilkini açıklayalım: ~ ( p Λ q ) önermesi, değillenmiş bir tümel evetleme önermesidir. Bu önermenin ana eklemi “değil” (~) olduğu için bu önerme çözümleyici çizelgede bu hâliyle denetlenemez. Dolayısıyla önermeyi tümel evetlemeye ya da tikel evetlemeye çevirmek durumundayız. Bu çevirme işlerimi yaparken de “değil” (~) simgesini parantez içine uyguluyoruz ve karşımıza şu denklik çıkıyor: ~p V ~q. Artık elimizdeki önerme bir tikel evetleme önermesidir ve bu önermemizi, çatal açma yöntemi ile denetleyebiliriz. Bu durumda karşımıza şu tablo çıkar:

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

MODERN MANTIKTA DİĞER ÇÖZÜMLEYİCİ ÇİZELGE KURALLARI AŞAĞIDAKİ GİBİDİR:

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...]