CEVAP: Çözümleyici çizelge ile nicelemeli bir sembolik önermenin bir modelde doğruluk değerini hesaplarken, çizelgede en az bir doğru dal ortaya çıkarsa, önerme bize verilen modelde doğrudur. Çizelgede tüm dallar yanlış ise, önerme bize verilen modelde yanlıştır.