Examkin

Question

Difficulty: MediumYüklemler Mantığında Özelleme ve Denetleme

Yüklemler mantığında çözümleyici çizelge (semantik tablo) ile denetleme yapılırken, aynı yol üzerinde hem tümel niceleyici (∀\forall) hem de tikel niceleyici (∃\exists) içeren önermeler bulunduğunda özelleştirme işlemlerinin belirli bir sırayla yapılması gerekir.

Buna g��re, aşağıdakilerin hangisinde bu öncelik sırası ve gerekçesi doğru olarak verilmiştir?

  1. A
    Tümel özelleme önce yapılmalıdır; çünkü tümel niceleyici evrendeki tüm elemanları kapsadığından, tikel özellemenin hangi ad sembolüyle yapılacağını belirler.
  2. B
    İşlem sırası önemsizdir; her iki özelleme de herhangi bir sırada yapılabilir, çünkü çözümleyici çizelgede elde edilen tutarlılık sonucu sıradan bağımsızdır.
  3. Tikel özelleme önce yapılmalıdır; çünkü tikel özelleme yola yeni bir ad sembolü kazandırır ve ardından yapılacak tümel özellemede bu ad sembolü kullanılarak önermeler arasında mantıksal bir bağ kurulabilir.Answer
  4. D
    Tümel özelleme önce yapılmalıdır; çünkü tümel önermeler alt alta yazma kuralına, tikel önermeler ise çatal açma kuralına tabi olduğundan öncelikle ana yolun belirlenmesi gerekir.
  5. E
    Tikel özelleme önce yapılmalıdır; çünkü tikel özellemede mevcut ad sembollerinden biri kullanılırken, tümel özellemede her zaman yeni bir ad sembolü türetilmek zorundadır.

Answer

Tikel özellemenin önce yapılması gerektiğini, çünkü tikel özellemenin yola yeni bir ad sembolü kazandırdığını ve ardından yapılacak tümel özellemede bu ad sembolünün kullanılarak önermeler arasında mantıksal bağ kurulabildiğini belirten seçenek doğrudur.
Tikel özelleme yola yeni bir ad sembolü getirmek zorundadır. Tümel özelleme ise mevcut ad sembolleriyle yapılabilir. Dolayısıyla, tikel özelleme önce yapılarak bir ad sembolü (aa) tanımlanır ve ardından tümel özelleme bu sembol ile yapılarak önermeler ortak bir terimde buluşturulur. Bu kural ve mantık doğru cevapta tam olarak açıklanmıştır.

Step-by-Step Solution

1
Yol üzerindeki tikel niceleyici içeren önermeye tikel özelleme (TÖ) kuralı uygulanır.
Yola o ana kadar kullanılmamış yeni bir ad sembolü (aa) eklenir.
Tikel özelleme kuralı gereği, varoluşsal ifadeyi karşılayan bireyin daha önce adlandırılmamış yeni bir birey olması zorunludur.
2
Aynı yol üzerindeki tümel niceleyici içeren önermeye tümel özelleme (TüÖ) kuralı uygulanır.
Tümel önerme, birinci adımda tanıtılan aa ad sembolü ile özelleştirilir.
Tümel özelleme kuralı, evrendeki tüm elemanlar için geçerli olduğundan, yolda mevcut olan herhangi bir ad sembolü ile yapılabilir.
3
Özelleştirilmiş önermeler arasındaki mantıksal tutarlılık durumu denetlenir.
Aynı ad sembolü (aa) üzerinden iki önerme arasında bağ kurularak çelişki olup olmadığı (FaFa ve ∼Fa\sim Fa gibi) tespit edilir.
Özelleme sırasına uyulması, çözümleyici çizelgenin doğru sonuca ulaşmasını sağlar.

Key Concept

Yüklemler mantığında çözümleyici çizelge kurallarına göre tikel özellemenin (TÖ) tümel özellemeden (TüÖ) önce yapılması zorunluluğu.
Rate this question

Topics

Yüklemler Mantığında Özelleme ve Denetleme

More questions from this topic