Examkin

Soru

Zorluk: KolayYü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, tümel özelleme işleminin tikel özelleme işleminden önce yapılması zorunludur.

Cevap: Cevap

Cevap

��fade yanlıştır. Yüklemler mantığında çözümleyici çizelge ile denetleme yapılırken öncelik sırası tikel özellemeye aittir.
Verilen ifade yanlıştır çünkü çözümleyici çizelge kurallarına göre, aynı yol üzerinde tikel özelleme işlemi her zaman tümel özelleme işleminden önce yapılmalıdır. Böylece tikel özelleme için gerekli olan 'yolda daha önce geçmemiş yeni bir ad sembolü kullanma' kuralı ihlal edilmemiş olur.

Adım Adım Çözüm

1
Özelleme kurallarının öncelik sırasını hatırlayın.
Tikel özellemenin (∃\exists) tümel özellemeden (∀\forall) önce yapılması gerektiği belirlenir.
Tikel özellemede yolda daha önce geçmeyen yeni bir ad sembolünün kullanılması zorunludur. Eğer tümel özelleme önce yapılırsa, tikel özelleme için kullanılacak ad sembolü serbestçe seçilemeyebilir veya kural ihlal edilebilir.
2
Soru kökündeki önermeyi bu kural ile karşılaştırın.
Önermedeki 'tümel özellemenin tikel özellemeden önce yapılması zorunludur' iddiasının kuralın tam tersi olduğu görülür.
Doğru işlem sırasının önce tikel özelleme, sonra tümel özelleme olduğu doğrulanır.

Anahtar Kavram

Yüklemler mantığında özelleme öncelik sırası kuralı
Bu soruyu puanla

Konular

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

Bu konudan daha fazla soru