Examkin

Soru

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

Sembolik mantıkta çözümleyici çizelge (ağaç) yöntemiyle denetleme yapılırken, her mantık ekleminin kendine özgü çözümleme kuralları uygulanır.

Buna göre, ∼(p→q)\sim(p \rightarrow q) önermesinin çözümleyici çizelgedeki çözümleme adımı aşağıdakilerden hangisinde doğru verilmiştir?

  1. A
    Çatal açılır ve kollara ∼p\sim p ile qq yazılır.
  2. B
    Alt alta yazılır ve pp ile qq elde edilir.
  3. Alt alta yazılır ve pp ile ∼q\sim q elde edilir.Cevap
  4. D
    Çatal açılır ve kollara ∼p\sim p ile ∼q\sim q yazılır.
  5. E
    Alt alta yazılır ve ∼p\sim p ile ∼q\sim q elde edilir.

Cevap

Alt alta yazılır ve pp ile ∼q\sim q elde edilir.
Çözümleyici çizelgede değillenmiş koşul önermesinin [∼(p→q)\sim(p \rightarrow q)] çözüm kuralı alt alta yazmadır. Bu kurala göre, koşul önermesinin ilk bileşeni (pp) aynen yazılırken, ikinci bileşeninin değili (∼q\sim q) altına eklenir. Dolayısıyla doğru yanıt 'Alt alta yazılır ve pp ile ∼q\sim q elde edilir' ifadesidir.

Adım Adım Çözüm

1
Önermenin ana eklemini ve değilleme durumunu belirleme
Önerme bir değillenmiş koşul önermesidir: ∼(p→q)\sim(p \rightarrow q)
Çözümleyici çizelgede uygulanacak kuralı belirlemek için ana ekleme bakılması gerekir.
2
Değillenmiş koşul önermesinin eş değerini bulma
∼(p→q)≡p∧∼q\sim(p \rightarrow q) \equiv p \land \sim q
Değillenmiş koşul önermesi, ilk bileşenin aynısı ile ikinci bileşenin değilinin tümel evetlemesine eş değerdir.
3
Eş değer önermeye uygun çözümleyici çizelge kuralını uygulama
Tümel evetleme (p∧∼qp \land \sim q) önermesi alt alta yazma kuralı gerektirdiğinden, çizelgeye alt alta sırasıyla pp ve ∼q\sim q yazılır.
Çözümleyici çizelgede tümel evetleme eklemi alt alta yazma kuralı ile çözümlenir.

Anahtar Kavram

Değillenmiş Koşul Önermesinin Çözümleme Kuralı
Tahmini Süre:45s
Bu soruyu puanla

Konular

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

Bu konudan daha fazla soru