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

Modern Mantıkta Çözümleyici Çizelgede Önermenin Geçerliliğini Denetleme Nedir?

Bir önermenin geçerliliği denetlenirken, önermenin değili alınır ve değillenmiş hâli çözümlenir. Önermenin değillenmiş hâli çözümlendiğinde tüm yollar kapalıysa önerme geçerli demektir. Çünkü, tüm yollar kapalıysa önermenin değillenmiş hâli yanlış, kendisi ise doğru demektir. En az bir açık yol varsa önerme geçersizdir.


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


Yukarıdaki örnekte, önce önermenin değili alındı. Sonra çözümleme kurallarına göre değillenmiş önerme çözümlendi. Çözümleme sonunda bütün yollar açık olduğundan önerme geçersizdir. Çünkü önermenin değilinin bütün yorumları doğruysa, kendisinin bütün yorumları yanlış olacağından, önermeyi geçersiz kabul etmek zorundayızdır.

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