Çözümleyici Çizelge Kuralları
Anlatım
Çözümleyici Çizelge Kuralları
Çözümleyici çizelge (analitik tablo) yöntemi, bir önermenin veya çıkarımın geçerliliğini doğruluk çizelgesi yerine DAHA SİSTEMLİ bir AĞAÇ yapısıyla (her eklem için belirli AÇILIM kuralları uygulayarak) test etmeyi sağlayan bir YÖNTEMDİR.
Çözümlü örnek
Gerçek Sınav Sorusu
I. p ⇔ ∼ q II. p ∧ q III. ∼ (p ∨q) IV. ∼ (p ⇔ q) V. p ⇒ q Yukarıdaki önermelerden hangilerinin çözümleyici çi- zelge ile tutarlılığının denetlenmesinde “alt alta yazma” kuralı uygulanır?
A) I ve II
B) I ve III
C) II ve III
D) III ve IV
E) IV ve V
- Çözümleyici çizelgede "alt alta yazma" kuralı, bir önermenin iki parçasının da AYNI ANDA (birlikte, "ve" yapısında) doğru kabul edilmesi gereken durumlarda, önerme DALLARA AYRILMADAN alt alta iki satır hâlinde yazılmasıdır. II. p ∧ q zaten "ve" yapısındadır. III. ∼(p ∨ q) De Morgan kuralıyla (∼p ∧ ∼q)'ya eşdeğerdir, bu da "ve" yapısındadır; ikisi de alt alta yazılır. I, IV ve V ise "veya" yapısına dönüştüklerinden dallara AYRILARAK çözümlenir. Bu nedenle alt alta yazma kuralı II ve III'te uygulanır, cevap C'dir.