Ин чунин маъно дорад, ки барои ҳар гуна қимати тағйирёбандаи х, аз ҷумла, х=а низ формула қимати дурўғро қабул мекунад. Пас, формулаи S(а)Р(а) дурўғ аст. Формулаи ҳосилшударо дар зери рақами 3 ба сутуни тарафи рост менависем.

∃х (Р(х) М(х)) ∃х (S(х) Р(х)) 5. S (а) Р (а) х (М(х)→S (х)) 1. Р (а) М (а) 2. М (а) →S (а) 4.Р (а) М (а) Азбаски формулаи Р(а)М(а) ҳақ аст, пас мувофиқи таърифи конъюнксия () формулаҳои Р(а) ва М(а) ҳақанд. Онҳоро дар сутуни тарафи чап таҳти рақами 4 менависем.
Акнун формулаи S(а) – ро аз назар мегузаронем. Мувофиқи шарт ин формула дурўғ аст. Маълум аст, ки конъюнксия дар чунин мавридҳо дурўғ мешавад, ки агар S(а) дурўғ бошанд. Барои тасвир намудани чунин ҳолат ҷадвалро ба қисмҳо ҷудо мекунем.

∃х (Р(х) М(х)) ∃х (S(х) Р(х))
х (М(х)→S (х)) 3. S (а) Р (а)

1. Р (а) М (а)
2. М (а) →S (а)
   (1) (2)
   4.Р (а) М (а)
   (1) (2)

Дар сутунҳои нави ҳосилшуда боз аз тарафи чап формулаҳои ҳақ ва дар сутуни рост формулаҳои дурўғро менависем. Масалан, дар (1) формулаи S (а) ва дар формулаи (2) Р(а) – ро менависем. Ба формулаҳои мазкур рақами 5 мувофиқ меояд.
Ҳаминро бояд ба назар гирифт, ки формулаҳои пеш аз тақсими сутун навишта шуда барои ин ё он сутунчаҳои мувофиқи худ умумианд. Яъне, формулаҳои тарафи чапи сутуни рост инҳоянд:

∃х (S(х) Р(х)), S (а) Р (а), S(а)

формулаҳои тарафи рости сутуни рост бошад:

• ∃х (S(х) Р(х)), S (а) Р(а), Р(а).