Çözümleyici Çizelge İle Önermenin Denkliğinin (Eş Değerliğinin) Denetleme
 

Çö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.
Bu çözümleme sonucunda tüm yollar kapalıysa önermeler denktir. Çünkü, değillenmiş önermede tüm yollar kapalı ise önermenin kendisi geçerlidir. Yani, önermenin 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).
ÖRNEKLER

Örnek 1

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


Ö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:
[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]
Çö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)

Hazırlayan: Sosyolog Ömer Yıldırım