Yüklemler mantığında çözümleyici çizelge (semantik tablo) yöntemiyle denetleme ve özelleme yapılırken uyulması gereken belirli kurallar ve bu kuralların doğurduğu sonuçlar bulunmaktadır.
Buna göre, sol sütunda verilen çözümleyici çizelge durum veya işlemlerini, sağ sütunda verilen doğru kural ya da sonuçlarla eşleştiriniz.
- önermesinin çözümleyici çizelgede özellenmesiYolda daha önce kullanılmamış yeni bir adlama harfi () ile özelleme yapılmasını gerektirir.
- önermesinin çözümleyici çizelgede özellenmesiYolda daha önce geçmiş olan ya da geçmemiş herhangi bir adlama harfi ile özelleme yapılmasına izin verir.
- Aynı yol üzerinde hem hem de bulunması durumunda işlem sırasıÖncelikle tikel özelleme (), ardından tümel özelleme () işleminin yapılmasını gerektirir.
- Bir çözümleyici çizelge yolunda hem hem de önermelerinin bulunmasıİlgili denetleme yolunun çelişki nedeniyle kapatılmasını () ve o yolun tutarsız sayılmasını gerektirir.
Cevap
Eşleştirme sonucunda: tikel özelleme yeni bir adlama harfi gerektirir; tümel özelleme herhangi bir adlama harfiyle yapılabilir; işlem sırasında öncelik tikel özellemededir; aynı yolda bir önerme ile değilinin bulunması ise yolun kapanmasına (tutarsızlığa) neden olur.
Tikel özelleme () her zaman yolda bulunmayan yepyeni bir adlama sembolü gerektirirken; tümel özelleme () her tür adlama sembolü ile yapılabilir. Çözümleme önceliği her zaman tikel özellemeye aittir. Yol üzerinde çelişik iki önermenin ( ve ) birlikte bulunması ise yolun kapanmasına ve o yolun tutarsız sayılmasına neden olur.
Adım Adım Çözüm
Anahtar Kavram
Yüklemler mantığında semantik tablo kuralları ve özelleme öncelikleri
Tahmini Süre:2m 0s