LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
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.
• Vahetada tohib ühetüübilisi kvantoreid, nt „Kõik armastavad kõiki”: ∀x∀yRxy =
∀y∀x Rxy, „Keegi armastab kedagi”: ∃x∃yRxy = ∃y∃xRxy.
• Üldjuhul ei tohi vahetada eritüübilisi kvantoreid: ∀x∃yRxy ≠ ∃y∀xRxy, nt „Keegi ei
ela armastuseta” ∀x∃yRxy muutuks Stalini valemiks ∃y∀xRxy. Nt defineerime
predikaadi Exy = „x ema on y”, kus x, y ∈ I (inimeste hulk). ∀x∃yExy – igaühel on
ema ≠ ∃y∀xExy – keegi on kõigi inimeste ema.
• Üldisuskvantori võib tõsta eksistentsikvantori ette, siis saame lause, mis järeldub
annaabi.ee 
