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...]

English Preparatory Department
School of Foreign Languages
Assistant English Teacher
Ankara Baskent University
2017-18

“Benim, senden öncem ve senden sonram yok, yalnızca sen varsın...”
C.A - 31.12.2010 - ∞

English Language and Literature
Faculty of Humanities and Letters
Ankara Bilkent University
2010-15