d d o- {8 lo $ rJJ a u to --+t ;Jff; P{ffiii i$i '3il9itir: lqE ii$g ,yIte I !aI id' l{iP ps rO
'+ :z =. -; = = -';.= at =:=i+-=i:Z j,1;;:+=:= ; E==l s =i='= T : i'=i: :ir4i=':T i ,ZIFE trFE tCi :Eii iEgEj:l*=i j: iiE:t:;; Et=E E= g;!;:l Eg: E;Eifr E f=;sEa3Ef€ aF,F;rjJ*! !i'E=tisEt;'r; 5E;; E; 1E 3 r^.ddlri .=rJJd- - J d) J f- Ec u) u) :S -r- * =3 d) J ?. v OiY .X E ,t:
eespool pruugitud predikaati Rxy, mis tähistas seost „x armastab y”, kusjuures baashulga määratleme kitsalt, selleks on vaid inimeste hulk I. Interpretatsioonis peame silmas peale seksuaalse armastuse ka mõningaid muid armastuse vorme, nt kristlik armastus, emaarmastus, endaarmastus jne. Indiviidile Jüri vastaku indiviidikonstant j ning indiviidile Mari indiviidikonstant m. Järgnevalt kirjutame laused ning neile vastavad valemid: Jüri armastab Marit ja iseennast: Rjj & Rjm. Kui Jüri armastab Marit, siis ta pole endaarmastaja: Rjm → ¬Rjj. Jüri armastab Marit ilma vastuarmastuseta: Rjm & ¬Rmj. Jüri ja Mari armastavad teineteist: Rjm & Rmj. Kui me peame arvesse võtma ka teisi peale Jüri ja Mari, läheb meil vaja ka kvantoreid. Nt lause „Jüri ja Mari armastavad ainult teineteist”, st, et Jüri armastab Marit ja mitte kedagi teist ning et Mari armastab Jürit ja mitte kedagi teist: Rjm & Rmj & ∀x [(Rjx→ x = m) & (Rmx→ x = j)].
määratleme kitsalt, selleks on vaid inimeste hulk I. Interpretatsioonis peame silmas peale seksuaalse armastuse ka mõningaid muid armastuse vorme, nt kristlik armastus, emaarmastus, endaarmastus jne. Indiviidile Jüri vastaku indiviidikonstant j ning indiviidile Mari indiviidikonstant m. Järgnevalt kirjutame laused ning neile vastavad valemid: Jüri armastab Marit ja iseennast: Rjj & Rjm. Kui Jüri armastab Marit, siis ta pole endaarmastaja: Rjm ¬Rjj. Jüri armastab Marit ilma vastuarmastuseta: Rjm & ¬Rmj. Jüri ja Mari armastavad teineteist: Rjm & Rmj. Kui me peame arvesse võtma ka teisi peale Jüri ja Mari, läheb meil vaja ka kvantoreid. Nt lause ,,Jüri ja Mari armastavad ainult teineteist", st, et Jüri armastab Marit ja mitte kedagi