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

Çözümleyici çizelgede önermelerin denkliğini denetlemek için, önce verilen iki önerme birbirine karşılıklı koşul eklemi (<=>) ile bağlanır. Daha sonra önermenin değili alınır ve değillenmiş önerme çözümleme kurallarına göre çözümlenir. Tüm yollar kapalıysa önermeler denktir. Çünkü, değillenmiş önermede tüm yollar kapalı ise önermenin kendisi geçerlidir. Yani, tüm değerleri doğru demektir. Karşılıklı koşul önermesinde tüm değerlerin doğru çıkması demek, bu önermenin bileşenlerinin aynı değeri aldığını gösterir (Karşılıklı koşul önermesinin doğruluk tablosunda anlatılan kurallarını yeniden gözden geçirin)

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

Örnek 2: ~(p V q), (~p Λ ~q) önermelerinin denk olup olmadığını çözümleyici çizelge ile denetleyelim. Önermeleri önce karşılıklı koşul eklemiyle birbirine bağlayalım: ~(p v q) <=> (~p Λ ~q). Son olarak değilini alıp denetlemeye başlayalım.

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

Çözümleme sonucunda ulaşılan bütün yollar kapalı olduğundan bu iki önerme birbirine denktir. Bu denklik durumu ise şu şekilde sembolize edilir: ~(p V q) ≡ (~p Λ ~q)

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