Soru

Zorluk: OrtaÇözümleyici Çizelge Kuralları ve Önerme Çözümleme

Çözümleyici çizelge (ağaç) yöntemi ile denetleme yapılırken işlem adımlarının sıralanmasında belirli kurallar uygulanır. Çözümleme yapılacak adımlarda birden fazla önermenin ��özümlenmesi gerekiyorsa, işlem kolaylığı sağlamak ve çizelgenin gereksiz dallanmasını önlemek amacıyla alt alta yazma kuralı uygulanan önermelere, çatal açma kuralı uygulanan önermelere göre öncelik verilir.

Buna göre;

I. (pq)\sim(p \lor q)
II. pqp \rightarrow q
III. (pq)\sim(p \land q)
IV. (pq)\sim(p \rightarrow q)

önermelerinden oluşan bir önerme kümesinin çözümleyici çizelgeyle denetlenmesine başlanırken, işlem önceliği kuralı gereğince ilk olarak hangi önermelerin çözümlenmesi gerekir?

  1. A
    I ve II
  2. I ve IVCevap
  3. C
    II ve III
  4. D
    II ve IV
  5. E
    I ve III

Cevap

I ve IV numaralı önermeler alt alta yazma kuralına tabi oldukları için ilk olarak çözümlenmelidir.
Çözümleyici çizelgede işlem önceliği alt alta yazma kuralı uygulanan önermelerdedir. Değillenmiş tikel evetleme olan birinci önerme ile değillenmiş koşul olan dördüncü önerme alt alta yazma kuralına tabi oldukları için ilk önce çözümlenmelidir.

Adım Adım Çözüm

1
Önermelerin çözümleyici çizelgedeki çözümleme kurallarını belirleme.
I numaralı önerme değillenmiş tikel evetleme olup alt alta yazma kuralıyla çözümlenir. II numaralı önerme koşul önermesi olup çatal açma kuralıyla çözümlenir. III numaralı önerme değillenmiş tümel evetleme olup çatal açma kuralıyla çözümlenir. IV numaralı önerme değillenmiş koşul önermesi olup alt alta yazma kuralıyla çözümlenir.
İşlem önceliği kuralını uygulamak için her önermenin hangi kuralla açılacağını belirlemek gerekir.
2
Öncelikli olan alt alta yazma kuralına tabi önermeleri seçme.
I ve IV numaralı önermelerin çözümleme kuralı alt alta yazmadır.
Çözümleyici çizelgede alt alta yazma kuralları çatal açma kurallarına göre işlem önceliğine sahiptir.
3
Sonuca ulaşma.
İlk olarak çözümlenmesi gereken önermeler I ve IV'tür.
Alt alta yazma önceliği nedeniyle ilk çözümleme adımında bu iki önerme seçilmelidir.

Anahtar Kavram

Çözümleyici çizelgede alt alta yazma ve çatal açma kurallarının işlem önceliği
Bu soruyu puanla