Yukarıda verilen çözümlemede ilk olarak tikel nicelemeyi gerçekleştirdiğimize dikkat ediniz. Çizelgede P ile işaretlediğimiz dallar tamamlanmış ve açıktır. Önermenin modelini bu dallardan herhangi birine göre oluşturabiliriz. En soldaki dala göre ortaya çıkan model aşağıdaki gibidir: M: S_M= {a}, _F^M= {a}, _G^M= { }.

((A → B) ∧ A) tümel-evetleme önermesinin doğru olması için, (A → B) ve A önermelerinin birlikte doğru olmaları gereklidir. Buna göre tümel-evetleme
önermesine ait çözümleyici çizelge kuralı; bu önermenin altındaki n. satırda (A → B), bir sonraki satırda ise A'nın olmasıdır. Doğru yanıt B seçeneğidir.  

B şıkkında ?x (Fx ? ~Gx) öncül ifadesini tanıma ve evrene göre indirgediğimizde (Fa ? ~Ga) ? (Fb ? ~Gb) ifadesine ulaşırız. Bu ifade, kümelere baktığımızda D doğruluk değerini taşır. Sonuç ifadesi olan  ?x (Fx ? GA) modele göre indirgendiğinde ise  (Fa ? GA) ? (Fb ? GA) ifadesi karşımıza çıkar. A'yı yerine koyduğumuzda (Fa ? Gb) ? (Fb ? Gb) önermesine ulaşırız. b, G kümesinin elemanı olmadığından Gb ifadesi yanlış olur, bu da sonucun doğruluk değerini Y (yanlış) kılar. Öncülü doğru olup sonucu yanlış olduğu için doğru yanıt B seçeneğidir. 

“Her F G dir” önermesi, “Her şey, eğer F ise G dir” ya da, daha açık bir ifade
ile, “Her şey için, eğer o şey bir F ise, o şey bir G dir” biçiminde yorumlanarak, ∀x (Fx → Gx) biçiminde sembolleştirilir. Doğru cevap A seçeneğidir.

Temel doğrusal önerme eklemlerinden “ve” olarak okunan önerme eklemi tümel evetleme eklemi olarak adlandırılır.

“Her insan yardımsever değildir” kısmı için bazı insanlar yardımsever değildirler olarak düşünebiliriz. Dolayısıyla x (Fx˄ ̴ Gx) önermesine bu kısım için ihtiyaç duyarız. “Bütün sevilen insanlar sadece ve sadece yardımsever insanlardır” kısmı için "bütün insanlar" ifadesinden dolayı ⱯyFy ve devamında sevilmek için yardımsever olmanın gerekli ve yeterli olduğu belirtildiğinden (Gy↔Hy) önermesi gelir.

Çözümleyici çizelge yöntemiyle sonlu sayıda bir grup önermenin birlikte tutarlı olduğunu göstermek için, bu önermelerden ad sembolleri yerine elemanların konmasıyla elde edilen ifadeleri, kök noktasından itibaren alt alta yazar ve ardından model oluşturma kurallarına göre ilerleriz. Çizelgede tamamlanmış ve açık bir dal olması durumunda, bu dala göre bu önermeleri birlikte doğru yapan bir model oluşturabileceğimizden, bu önermeler birlikte tutarlıdır. Çizelge tamamlandığında tüm dallar kapanıyorsa, bu önermelerin tümünü doğru yapan bir model yoktur ve dolayısıyla bu önermeler birlikte çelişiktir.

((H˅K)→F(Ayşe)) kısmını incelediğimizde hava güneşli de bulutlu da olsa Ayşe’nin top oynayacağını bildirmektedir. Daha sonra gelen (L→G(Gamze)) kısım ise hava karlı ise Gamze'nin kayak yapacağı manasına gelmektedir. Ve son olarak
((H˅K˅L)˄ ( ̴ F(Fatih))˄ ( ̴ G(Fatih)) kısımı bize Fatih’in hava bulutluda karlıda güneşlide olsa ne top oynayacağını ne de kayak yapacağını söylemektedir.

Bir önermenin çözümleyi çizelgedeki doğruluk değeri hesaplanırken A,B gibi ad sembollerinin yerine elam heçirilir ve önerme kök noktasına yazılır yani FA yerine Fa, GA yerine ise Ga yazılır ve İfade düzenlenerek kök noktasına yazılır.

?x (Fx › (Gx ? Hx) önermesinde ad sembolü olmadığından yüklem sembollerini yerine yazarsak, ?x(( a balıktır)x › ((a denizde yaşar)x ? ((a tatlı suda yaşar)x)) sonra a yerine x değişkeni konmasıyla, ?x(( x balıktır) › ((x denizde yaşar) ? ((x tatlı suda yaşar))) olur. Niceleyiciler ve önerme eklemlerini yerine yazar ve parantezler yerine noktalama işaretlerini yazarsak, Her balık ya denizde ya da tatlı suda yaşar elde edilir.

Eğer içinde n tane yüklem sembolü geçen bir önerme için, en çok 2n elemanlı bir kümede karşı-model oluşturulmazsa bu önermenin karşı modeli yoktur. 2² =4 olduğundan doğru cevap 4'tür.

(Kızlarda futbol oynayabilir ˄ Elif futbol oynamaya 7 yaşında başlamıştır) → (futbol oynamak yetenek işidir ˄ Elif yeteneklidir) sembolleştirme anahtarına uygun olarak önerme değişkenlerini koyarsak, (q ˄ r) → (p ˄ s) elde edilir.

Hiçbir niceleyici ifade kullanmadan da tümel-nicelemeli bir önerme ifade edilebilir. Nitekim “İnsan ölümlüdür” dediğimizde aslında “Her insan ölümlüdür” demek isteriz. “Cisimler ısıtılınca genleşir” önermesi de, “Her cisim ısıtılınca genleşir” anlamına gelir.

Ayrıca, “bir” ifadesi de çoğu zaman tümel-niceleyici anlamında kullanılır. Örneğin, “Bir sayı çift ise iki ile bölünür” önermesi “Her çift sayı iki ile bölünür” anlamına gelir.

Çözümleyici çizelge ile nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için yapılması gereken “Önermenin değilinde ad sembolleri yerine birer eleman olarak yazarak oluşturulan ifadeyi kök noktasına yazarak oluşturulan çizelgede tüm dallar kapanmalıdır.”

Önce sonuca dayanak oluşturan “Gezegenler hem kendi etrafında döner hemde güneşin etrafında döner” önermesini sembolleştirirsek, Her x (x gezegen ise (x kendi etrafında döner) ve (x güneşin etrafında döner)) ifadesi elde edilir. Burada da niceleme ifadeleri ve önerme eklemleri yerine niceleyici ve önerme eklem sembollerini yazarsak, Ɐx (x gezegen → (x kendi etrafında döner ˄ x güneşin etrafında döner)) elde edilir. Ad ve yüklem sembollerini koyarsak, Ɐx (Fx → (Gx ˄ Hx)) olur. Şimdi de çıkarım sonucu olan “Gezegen değil ise, ne kendi etrafında döner ne de güneşin etrafında döner” önermesini sembolleştirirsek, Her x (değildir x gezegen ise (değildir x kendi etrafında döner) ve değildir (x güneşin etrafında döner)) ifadesi elde edilir. Burada da niceleme ifadeleri ve önerme eklemleri yerine niceleyici ve önerme eklem sembollerini yazarsak, Ɐx (~x gezegen → (~x kendi etrafında döner ˄ ~x güneşin etrafında döner)) elde edilir. Ad ve yüklem sembollerini koyarsak, Ɐx(~ Fx(~Gx ˄ ~Hx)) elde edilir.

Gündelik dilde, tümel-niceleyiciyi ifade etmek için “her” kelimesi yerine “tüm”, “bütün” ifadeleride kullanılmaktadır. Hiç bir niceleyici ifade kullanmadan da tümel-nicelemeli bir önerme ifade edilebilir. “İnsan ölümlüdür” dediğimizde aslında “Her insan ölümlüdür” demek isteriz. “Tüm yasalar insanların huzuru içindir” anlamındadır.