LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
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: ∀x∀yRxy (kristlik ideaal).
Keegi ei ela armastuseta: ∀x∃yRxy.
On keegi, kes armastab kõiki: ∃x∀yRxy (pühak).
On keegi, keda kõik armastavad: ∃x∀yRyx (Stalin, Suur Vend või linnapea).
Igaühte armastab keegi: ∀x∃yRyx (psühholoogiline lohutus).
Armastus on olemas: ∃x∃yRxy (Romeo ja Julia).
Armastav egoistideta ühiskond: ∀x∀y (x ≠ y → Rxy) & (x = y → ¬Rxy).
On õnnetuid armastajaid: ∃x∃y (Rxy & ¬Ryx).
Kõik on egoistid: ∀x∀y (x = y→ Rxy) ehk ∀xRxx.
Leidub egoiste: ∃xRxx.
Tegemist on lausetega, kuna neis valemeis ei esine muutujad vabalt.
Eelnevatest näidetest ilmnesid kvantorite vahetamise reeglid.
annaabi.ee 
