Sembolik Mantık Deneme Sınavı Sorusu #472270

  1. Niceleyici-değilleme kuralları tüm kurallardan önceuygulanmalıdır.
  2. Tümel-nicelemenin açılımı kuralı tikel-nicelemenin açılımı kuralından önce uygulanmalıdır.
  3. Önerme eklemleri eklenirken, çatal açma kuralları alt alta yazma gerektiren kurallardan önce uygulanmalıdır.

Yukarıda çizelge yöntemi ile nicelemeli bir sembolik önermenin bir modeldeki doğruluk değeri hesaplanırken kullanılacak öncelik kurallarından hangisi ya da hangileri doğrudur?


I

I ve II

I ve III

II ve III

I, II ve III


Yanıt Açıklaması:

Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izleyebileceğimiz “öncelik kuralları” vardır:

• Niceleyici-değilleme kuralları tüm kurallardan önce uygulanmalıdır. (I doğru olur)

• Tümel-nicelemenin açılımı kuralı tikel-nicelemenin açılımı kuralından önce uygulanmalıdır.(II doğru olur)

• Önerme eklemleri elenirken, alt alta yazma gerektiren kurallar çatal açma kurallarından önce uygulanmalıdır.

• Bir niceleyici kuralı ile önerme eklemi kuralı arasında seçim yapmamız gerektiğinde de, alt alta yazma gerektiren kural çatal açma kurallarından önce uygulanmalıdır.

Buna göre III’de çatal açma kuralının alt alta yazma gerektiren kurallardan önce uygulanması gerektiği ifade edilmiştir. Nitekim verilen maddelerde bunun tam tersi olduğu belirtilmiştir. Bu nedenle ifade III yanlıştır. Sadece I ve II ifadeleri doğrudur.

Yorumlar
  • 0 Yorum