Jumladan soo socota waxaa loo yaqaanaa "iska-hor-imaadka cabbista": "Qof baa ku jira baararka, markaa haddii isaga ama iyada ay wax cabbaan, qof kasta oo ku jira goobta ayaa wax cabbaya." Dhib malaha haddii qofkaas uu ku dhiirigaliyo kuwa kale inay cabbaan ama albaab danbe oo kale ayaa jira, sida aynu arki doono daqiiqad gudaheed. Waa tusaale fiican oo laga soo qaatay macquulnimada nidaamka koowaad ee xisaabta.
Waxaan ku bilaabaynaa in aan sheegno in qof kasta oo ku jira baarku uu wax cabbo ama ugu yaraan hal qof oo ku sugan baarku aanu cabbin. Kala soocida kiisaska soo socda ayaa markaa ku habboon:
- Qof kastaa wuu cabbaa. Markaa haddii qof uu wax ku cabbo maqaaxida, qof kasta oo ku jira baarku wuu cabbayaa - sababtoo ah qof kastaa wuu cabbaa.
- Ugu yaraan hal qof ma cabbo. Qof kasta oo aan wax cabbin, waa run in haddii uu cabbo, qof kasta oo makhaayadda joogaa uu cabbo - mar haddii aanu qofku cabbin ( \(A \Rightarrow B\) had iyo jeer waa run marka \(A\) been yahay).
Si rasmi ah, aragtida waxaa loo qaabayn karaa sida soo socota ee wax kasta oo saadaaliya \(D\) iyo set aan faaruqin \(P\):
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$