Çözümleyici çizelge yöntemi kullanırken nelere başvuracağız?
Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin modelinioluştururken, açılım kuralları yerine, tümel-özelleme ve tikel-özelleme kurallarınabaşvuracağız.