Examkin

Soru

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

Sembolik mantıkta önermelerin tutarlılığını veya geçerliliğini denetlemek için kullanılan yöntemlerden biri de çözümleyici çizelgedir. Çözümleyici çizelgede kurallar uygulanırken işlem sırasına dikkat edilmesi gerekir. Çok dallı ağaç yapılarında karmaşıklığı engellemek amacıyla öncelik, dallanmaya neden olmayan ve alt bileşenlerin doğrudan aynı hat üzerine dikey olarak yazıldığı kurallara verilir.

Buna göre, aşağıda verilen önermelerden hangisi çözümlenirken ilk adımda doğrudan alt alta yazma kuralı uygulanmalıdır?

  1. A
    ∼(p∧q)\sim(p \land q)
  2. B
    p→∼qp \rightarrow \sim q
  3. ∼(p→q)\sim(p \rightarrow q)Cevap
  4. D
    p∨qp \lor q
  5. E
    ∼(p↔q)\sim(p \leftrightarrow q)

Cevap

Değillenmiş koşul önermesi olan ∼(p→q)\sim(p \rightarrow q) ifadesi, çözümleyici çizelgede ilk adımda doğrudan alt alta yazma kuralı uygulanarak çözümlenmelidir.
Değillenmiş koşul önermesi olan ∼(p→q)\sim(p \rightarrow q) ifadesi, çözümleyici çizelge kurallarına göre çözümlendiğinde dikey tek bir hat üzerine pp ve ∼q\sim q ifadelerinin alt alta yazılmasıyla açılır. Çözümleyici çizelgede alt alta yazma kuralları çatal açma kurallarına göre öncelikli olduğundan, ilk adımda bu önermeyle başlanarak alt alta yazma kuralı uygulanmalıdır.

Adım Adım Çözüm

1
Seçeneklerde verilen her bir önermenin ana eklemini ve değilleme durumunu belirlemek.
Seçeneklerde değillenmiş tümel evetleme, koşul, değillenmiş koşul, tikel evetleme ve değillenmiş karşılıklı koşul önermeleri bulunmaktadır.
Çözümleyici çizelgede hangi kuralın uygulanacağını belirlemek için önermenin ana ekleminin tespit edilmesi gerekir.
2
Her önerme türü için geçerli olan çözümleyici çizelge kurallarını (çatal açma veya alt alta yazma) eşleştirmek.
Değillenmiş koşul önermesinin dikey hatta alt alta yazmayı gerektirdiği, diğerlerinin ise çatal açmayı gerektirdiği belirlenir.
Çözümleme önceliği dikey hatta yazılan (alt alta yazılan) önermelerde olduğu için bu ayrımın yapılması şarttır.
3
Elde edilen sonuçlara göre alt alta yazma kuralına sahip olan önermeyi doğru seçenek olarak işaretlemek.
∼(p→q)\sim(p \rightarrow q) önermesinin alt alta yazma kuralına uygun tek seçenek olduğu doğrulanır.
Soruda ilk adımda doğrudan alt alta yazılması gereken önerme sorulmuştur.

Anahtar Kavram

Çözümleyici Çizelge Kurallarında Alt Alta Yazma ve Çatal Açma Ayrımı
Tahmini Süre:1m 30s
Bu soruyu puanla

Konular

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

Bu konudan daha fazla soru