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. • 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
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. 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
annaabi.ee 
