Sembolik Mantık Deneme Sınavı Sorusu #462889
Hangisi çö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 izlenebilecek öncelik kuralları arasında yer almaz?
|
Niceleyici-değilleme kuralları tüm kurallardan sonra uygulanmalıdır. |
|
Tümel-nicelemenin açılımı kuralı tikel-nicelemenin açılımı kuralından önce uygulanmalıdır. |
|
Ö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. |
|
Dalda bir tümel-niceleme ve bir tikel-evetleme önermesi varsa, önce tümel-nicelemenin açılımı kuralı uygulanmalıdır. |
Niceleyici-değilleme kuralları tüm kurallardan önce uygulanmalıdır.
Yorumlar
- 0 Yorum