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

Modern Mantıkta Doğruluk Çizelgesi Nedir? Ne Değildir? Özelliği Nedir?

“Önerme Eklemleri”, basit önermeleri bileşik hâle getiren mantık değişmezleridir. Bu eklemler “ve”, “veya”, “ise”, “ancak ve ancak” ve “değil” sözcükleriyle ifade edilir.

Önerme eklemlerinin birinci işlevi bileşik önermeler oluşturmak; ikinci işlevi önermelerin tutarlılık, geçerlilik ve eş değerliliğinin ve çıkarımların geçerliliğinin denetlenmesini sağlamaktır.

Modern mantıkta kullanılan beş eklemin alacakları doğruluk değerlerinin neler olduğunu, yukarıdaki başlıklarda irdeledik. Bu başlıklarda bahsedilen kuralları sık sık tekrar etmeniz, öğrenmenizi kolaylaştıracaktır. Şimdi, bu beş önerme eklemine ilişkin olarak ayrı başlıklarda anlatılanları tek bir tabloya toplayarak özetleyelim:


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


Bir doğruluk tablosunda yukarıdan aşağı doğru sıralamaya “Sütun”, soldan sağa doğru sıralamaya “Satır” adı verilir.

Yukarıda gördüğümüz eklemlerin kuralları yardımıyla, herhangi bir bileşik önermenin doğruluk değerini bulabiliriz. Bütün işlemleri eklemlerin kurallarına göre yapacağımız için bu kuralları sürekli aklımızda tutmamız gerekecek.


Örneğin;


p:Y, q değer aldığında (pΛq)V(p=>q) önermesinin doğruluk değerini bulalım. Yapılacak ilk şey, verilen değerleri önermede yerine koymak ve önerme eklemlerinin kurallarına göre işlemi tamamlamaktır.
(pΛq)V(p=>q)
(YΛD)V(Y=>D)
(Y)V(D) = D
değerini alır.

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