Examkin

Question

Difficulty: Very hardÇözümleyici Çizelge Kuralları ve Önerme Çözümleme

(p∨q)∧∼(p→∼r)(p \lor q) \land \sim(p \rightarrow \sim r) önermesinin çözümleyici çizelge kurallarına göre tutarlılık denetimi sürecinde gerçekleştirilen aşağıdaki işlem adımlarını, mantıksal ve kuralsal öncelik sırasına göre sıralayınız.

  1. 1Ana önermeye tümel evetleme (∧\land) kuralı uygulanarak p∨qp \lor q ve ∼(p→∼r)\sim(p \rightarrow \sim r) alt önermelerinin alt alta yazılmas��.
  2. 2Alt alta yazma kuralının çatal açma kuralına olan önceliği nedeniyle ∼(p→∼r)\sim(p \rightarrow \sim r) önermesinin çözümlenerek pp ve ∼∼r\sim\sim r bileşenlerinin elde edilmesi.
  3. 3Elde edilen ∼∼r\sim\sim r önermesine çift değilleme kuralı uygulanarak değillemenin kaldırılması ve rr önermesine ulaşılması.
  4. 4Çatal açma kuralı gerektiren p∨qp \lor q önermesinin çözümlenerek ana daldan iki ayrı yol (kol) açılması.
  5. 5Açılan yollarda çelişik önerme çifti bulunmadığından yolların açık olduğunun tespit edilmesi ve denetlemenin sonlandırılması.

Answer

İşlem adımlarının doğru sırası: İlk olarak ana önermeye tümel evetleme kuralı uygulanarak alt bileşenler alt alta yazılır. Ardından, işlem önceliği gereği alt alta yazma kuralı içeren değillenmiş koşul önermesi çözümlenir ve bileşenleri elde edilir. Elde edilen çift değillemeli önerme sadeleştirildikten sonra, çatal açma kuralı gerektiren tikel evetleme önermesi çözümlenir ve son olarak yolların çelişki durumu denetlenerek işlem tamamlanır.
Doğru sıralamada öncelikle ana eklem çözümlenir. Ardından alt alta yazma kuralına sahip olan değillenmiş koşul önermesi, çatal açma kuralına sahip tikel evetleme önermesinden önce çözümlenir. Çift değilleme kuralı uygulanıp önerme sadeleştirildikten sonra çatal açma işlemi yapılır ve son olarak yolların açık/kapalı olma durumu denetlenir.

Step-by-Step Solution

1
Ana önermenin ana eklemi olan tümel evetleme (∧\land) kuralını uygulamak.
p∨qp \lor q ve ∼(p→∼r)\sim(p \rightarrow \sim r) önermelerinin alt alta yazılması.
Çözümlemeye her zaman en dıştaki ana eklemden başlanır.
2
Çatal açmayan (alt alta yazılan) önermeyi belirleyip çözümlemek.
∼(p→∼r)\sim(p \rightarrow \sim r) önermesinden pp ve ∼∼r\sim\sim r önermelerinin elde edilmesi.
Alt alta yazma kuralı, çatal açma kuralına göre önceliklidir.
3
Çift değilleme kuralını uygulamak.
∼∼r\sim\sim r önermesinden rr önermesinin elde edilmesi.
Daha sonraki adımlarda çelişki denetiminin doğru yapılabilmesi için çift değillemeler sadeleştirilmelidir.
4
Çatal açma kuralı gerektiren önermeyi çözümlemek.
p∨qp \lor q önermesinin çözümlenerek pp ve qq dallarının açılması.
Alt alta yazma işlemleri tamamlandıktan sonra çatal açma kuralına geçilir.
5
Açılan yollarda çelişki olup olmadığını denetlemek.
Yolların açık kalması ve denetlemenin tamamlanması.
Çözümlenmemiş önerme kalmadığında, dallardaki önermeler ile değillerinin varlığı kontrol edilerek tutarlılık durumu belirlenir.

Key Concept

Çözümleyici çizelgede kural uygulama öncelikleri ve işlem sırası
Estimated Time:3m 0s
Rate this question

Topics

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

More questions from this topic