LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
teist ning et Mari armastab Jürit ja mitte kedagi teist: Rjm & Rmj & x [(Rjx x = m) &
(Rmx x = j)].
Kvantorid võimaldavad kirja panna ka palju üldisemaid lauseid (baashulgaks on
jätkuvalt inimeste hulk).
Tabel 8.1. Armastusseosest inimeste baashulgal.
Kõik armastavad kõiki: xyRxy (kristlik ideaal).
Keegi ei ela armastuseta: xyRxy.
On keegi, kes armastab kõiki: xyRxy (pühak).
On keegi, keda kõik armastavad: xyRyx (Stalin, Suur Vend või linnapea).
Igaühte armastab keegi: xyRyx (psühholoogiline lohutus).
Armastus on olemas: xyRxy (Romeo ja Julia).
Armastav egoistideta ühiskond: xy (x y Rxy) & (x = y ¬Rxy).
On õnnetuid armastajaid: xy (Rxy & ¬Ryx).
Kõik on egoistid: xy (x = y Rxy) ehk xRxx.
Leidub egoiste: xRxx.
Tegemist on lausetega, kuna neis valemeis ei esine muutujad vabalt
annaabi.ee 
