Nicelemeli bir sembolik önermenin verilen bir modeldeki doğruluk değerini çözümleyici çizelge yöntemi ile hesaplamak için ilk olarak, önermede geçen ad sembolleri yerine, bunların modelde karşılığı olarak verilen elemanları yazarak elde ettiğimiz ifadeyi, çözümleyici çizelgenin 1 numaralı kök noktasına yazarız. Ardından tümel ve tikel-nicelemenin açılımı kurallarını, niceleyici değilleme kurallarını ve önerme eklemlerine ait çözümleyici çizelge kurallarını kullanarak ilerleriz. Buna göre ilk yapılması gereken önermede geçen ad sembolleri yerine bunların modelde karşılığı olarak verilen elemanların yazılmasıdır.