Jumladan soo socota waxaa loo yaqaanaa "iska-hor-imaadka cabbista": "Qof baa ku jira baararka, marka haddii isaga ama iyada ay cabbaan, qof kasta oo baarka joogaa wuu cabbaa." Dhib ma laha in qof uu ku dhiirrigeliyo dadka kale inay cabbaan ama haddii albaab dambe uu jiro, sida aynu arki doono daqiiqad gudaheed. Waa tusaale fiican oo laga soo qaatay macquulka saadaasha 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 ku dhex cabbo baarka, qof kasta oo baarka joogaa wuu cabbaa - 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 ku jira ayaa wax cabbaya - mar haddii aanu qofku wax cabbin ( \(A \Rightarrow B\) had iyo jeer waa run marka \(A\) been yahay).
Si rasmi ah, saaxadda sabab la'aanta ah \(D\) iyo set aan faaruqin \(P\) jumlada waxaa loo matali karaa sidan soo socota.:
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$