LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
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.
Eelnevatest näidetest ilmnesid kvantorite vahetamise reeglid.
· Vahetada tohib ühetüübilisi kvantoreid, nt ,,Kõik armastavad kõiki": xyRxy =
yx Rxy, ,,Keegi armastab kedagi": xyRxy = yxRxy.
· Üldjuhul ei tohi vahetada eritüübilisi kvantoreid: xyRxy yxRxy, nt ,,Keegi ei
ela armastuseta" xyRxy muutuks Stalini valemiks yxRxy. Nt defineerime
predikaadi Exy = ,,x ema on y", kus x, y I (inimeste hulk). xyExy igaühel on
ema yxExy keegi on kõigi inimeste ema.
· Üldisuskvantori võib tõsta eksistentsikvantori ette, siis saame lause, mis järeldub
esialgsest lausest (st tõese eelduse korral on lõppjäreldus alati tõene, kuid
annaabi.ee 
