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

Modern Mantıkta Yorumlama Nedir? Ne Değildir? Nasıldır?

Sembolik dile çevrilmiş çıkarımların ve bu çıkarımları oluşturan önermelerin geçerliliklerini denetleyebilmek için yorumlama gereklidir. Sembolleştirilmiş önermelere doğru ya da yanlış bir doğruluk değeri verilmesine yorumlama denir. “p” gibi tek bir basit önermenin doğru ve yanlış olmak üzere iki, “p” ve “q” önermelerinden oluşmuş bir bileşik önermenin dört, “p”, “q” ve “r” gibi üç önermeden oluşmuş bir bileşik önermenin sekiz yorumlaması olur. Satır sayısı 2n formülüyle bulunur. Burada “n” bileşen sayısını gösterir.

Önermelerin alabilecekleri yorumlar aşağıdaki gibidir.


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


Önermelerin doğruluk değerlerinin verilerek yorumlanmasının yapıldığı çizelgelere yorumlama çizelgesi ya da “Doğruluk Çizelgesi (Tablosu)” adı verilir. Bu bilgiler ışığında, herhangi bir önermenin nasıl yorumlandığını şu şekilde gösterebiliriz. p => (q Λ p) önermesinin doğruluk tablosu aşağıdaki gibi olur.


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


İlk önce p ve q önermelerinin alabilecekleri doğruluk değerleri yazılır. Önermenin bileşenlerinin tek tek değerleri bulunduktan sonra, en sonunda önermenin bütününün doğruluk değerleri çıkarılır. Bütün bu işlemlerin daha önce gördüğümüz önerme eklemlerinin kurallarına göre yapıldığını unutmayınız. Bu yöntem ile, önermelerin “Tutarlılık”, “Geçerlilik” ve “Eş Değerliklerini” denetlememiz olanaklı olur.

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