Nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için, önermenin değilinin model oluşturma kurallarına göre oluşturulan tamamlanmış çözümleyici çizelgesinin kapalı olması gerekir.

Çözümleyici çizelge ile geçerlilik denetlemesi yaparken, alt alta yazma kurallarının çatal açma kurallarına, tümel -özelleme kuralının tikel -özelleme kuralına önceliği vardır.

Bir A nicelemeli sembolik önermesinin geçerli olduğunu göstermek için, ~A önermesinin tamamlanmış çözümleyici çizelgesinin kapalı olması gerekli değildir.

Tümel -özelleme kuralının tikel -özelleme kuralından önce uygulanması gerekir.

Çözümleyici çizelge ile geçerlilik denetlemesi yaparken, çatal açma kurallarının alt alta yazma kurallarına önceliği vardır.