IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası - Tekil Mesaj gösterimi - Modern Mantıkta Çözümleyici Çizelgede Önermenin Tutarlılığını Denetleme 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 Çizelgede Önermenin Tutarlılığını Denetleme Nedir?

Modern Mantıkta herhangi bir önermenin tutarlılığı denetlenirken, çözümleme kurallarının aynısı uygulanır. Çözümleme sonunda, yolların ucunda en az bir açık yol varsa önerme tutarlıdır. Çünkü, bu durum önermenin en az bir tane doğru değerine sahip olduğunu gösterir. Hiç açık yol yoksa önerme tutarsız demektir.

Örnek 1: (~p V q) Λ (p Λ q) önermesinin tutarlılığını denetleyelim: Önermenin ana eklemi tümel evetleme (Λ) eklemidir. Bu nedenle çözümlemeye alt alta yazma kuralı uygulanarak başlanır ve aşağıdaki yol izlenir.

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

Çözümlemeye önermenin sağ tarafına adım numarasını, sol tarafına başlangıç önermesi olduğunu belirten (Ö) harfini koyarak başladık. Tümel evetleme kuralına göre bileşenleri alt alta yazdık. Görüldüğü gibi, elde edilen iki önermeden biri tümel evetleme diğeri tikel evetleme önermesidir. İşlem sırasına göre ilk önce tümel evetleme yapılacağı için, kural gereği tümel evetleme önermesini (2) çözümledik. Çelişki ortaya çıkmadığı için tikel evetleme önermesini (3) çözümledik. Böylece işlem tamamlandı. Ortaya çıkan iki yoldan birisinde p ve ~p önermeleri çelişti. Bu nedenle o yolu (X) işaretiyle kapattık. Diğer yol açık olduğu için çözümlediğimiz önerme tutarlı çıktı.

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

Yukarıdaki örnekte, verilen önermenin ana eklemi tümel evetleme olduğu için birinci adımda alt alta yazarak çözümledik. İkinci adımda, koşul önermesini çözümleme kuralına göre (p => q ≡ ~p v q denkliği gereği) çatal açarak çözümledik. Her iki yolda çıkan ~p önermesi yukarıdaki p önermesi ile çeliştiği için önerme tutarsızdır.

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