Examkin

Soru

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

Önermeler mantığında, denetleme işlemlerini gerçekleştirmek amacıyla kullanılan çözümleyici çizelge kurallarında, her bir bileşik önerme türü için izlenmesi gereken belirli bir çözümleme yolu tanımlanmıştır. Bu yollar temel olarak iki işlem grubuna (dal açma ve ardışık yazma) ayrılır.

Aşağıdaki sol sütunda yer alan önerme biçimlerini, sağ sütundaki ilk çözümleme aşamasında uygulanacak doğru kural ve yazım biçimiyle eşleştiriniz.

  • p∧qp \land q önermesiAlt alta yazma yöntemiyle bileşenlerin pp ve qq şeklinde sıralanmas��
  • p∨qp \lor q önermesiÇatal açma yöntemiyle dallardan birine pp, diğerine qq yazılması
  • p→qp \rightarrow q önermesiÇatal açma yöntemiyle dallardan birine ∼p\sim p, diğerine qq yazılması
  • ∼(p→q)\sim(p \rightarrow q) önermesiAlt alta yazma yöntemiyle bileşenlerin pp ve ∼q\sim q şeklinde sıralanması

Cevap

Sol sütundaki önermeler ile sağ sütundaki kurallar sırasıyla şu şekilde eşleşir: p∧qp \land q önermesi bileşenlerin alt alta pp ve qq şeklinde sıralanmasıyla; p∨qp \lor q önermesi çatal açma yöntemiyle dallardan birine pp, diğerine qq yazılmasıyla; p→qp \rightarrow q önermesi çatal açma yöntemiyle dallardan birine ∼p\sim p, diğerine qq yazılmasıyla; ve ∼(p→q)\sim(p \rightarrow q) önermesi alt alta yazma yöntemiyle bileşenlerin pp ve ∼q\sim q şeklinde sıralanmasıyla eşleşir.
Çözümleyici çizelgede tümel evetleme (p∧qp \land q) ve değillenmiş koşul (∼(p→q)\sim(p \rightarrow q)) önermeleri alt alta yazma kuralıyla çözümlenirken; tikel evetleme (p∨qp \lor q) ve koşul (p→qp \rightarrow q) önermeleri çatal açma kuralıyla çözümlenir. Eşleştirme bu kuralların doğru uygulanmasını sağlamaktadır.

Adım Adım Çözüm

1
Tümel evetleme (p∧qp \land q) önermesinin kuralını belirleme
Tümel evetleme kuralı gereği, önerme alt alta yazma yöntemiyle çözümlenir ve bileşenler (pp ve qq) alt alta sıralanır.
Çözümleyici çizelgede tümel evetleme eklemi alt alta yazma kuralına tabidir.
2
Tikel evetleme (p∨qp \lor q) önermesinin kuralını belirleme
Tikel evetleme kuralı gereği, önerme çatal açma yöntemiyle çözümlenir ve kollardan birine pp, diğerine qq yazılır.
Çözümleyici çizelgede tikel evetleme eklemi çatal açma kuralına tabidir.
3
Koşul (p→qp \rightarrow q) önermesinin kuralını belirleme
Koşul kuralı gereği, önerme çatal açma yöntemiyle çözümlenir ve sol dala ∼p\sim p, sağ dala ise qq yazılır.
Koşul önermesinin doğru olması, ön bileşenin yanlış veya art bileşenin doğru olması durumunu gerektirdiğinden çatal açılarak değillenmiş ön bileşen ve art bileşen kollara yazılır.
4
Değillenmiş koşul (∼(p→q)\sim(p \rightarrow q)) önermesinin kuralını belirleme
Değillenmiş koşul kuralı gereği, önerme alt alta yazma yöntemiyle çözümlenir ve alt alta pp ile ∼q\sim q sıralanır.
Koşul önermesinin yanlış olması yalnızca ön bileşenin doğru ve art bileşenin yanlış olması durumunda mümkün olduğundan alt alta yazma kuralı uygulanır.

Anahtar Kavram

Çözümleyici çizelgede tümel evetleme, tikel evetleme, koşul ve değillenmiş koşul önermelerinin çözümleme kuralları.
Tahmini Süre:1m 30s
Bu soruyu puanla

Konular

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

Bu konudan daha fazla soru