Ülalpool vaatlesime armastajaid nii, et nad kuulusid kõik vaid inimeste hulka. Kui lisada armastusseosesse juhtumid, kus nt koer võib armastada peremeest ja vastupidi, siis omandavad valemid märksa keerukama kuju. Valem ∀x∀yRxy tähendaks siis olukorda, kus ka kõik kivid armastavad üksteist ja näiteks ka veel kõiki galaktikaid jne. Kui tahta valemitele jätta täpselt sama sisu mis enne (et jutt oleks armastusest inimeste vahel), siis tuleb muuta valemite kuju. Lisaks armastusseosele Rxy, mis tähistab predikaati x armastab yit (ilma igasuguste kontekstiliste kitsendusteta), tuleb lisada veel üks ühekohaline predikaat Ix – x on inimene, kusjuures nii x kui ka y on suvalised objektid universumis. NB! Märkamatult on saabunud algaja jaoks üks kõige raskemini mõistetavaid kohti predikaatarvutuses. Võtame predikaadile Ix – x on inimene lisaks veel ka predikaadi Kx – x on koer. Tasub järele mõelda, mida tähendavad need valemid eraldi võetuna: Ix, Iy, Ky, Kz
lauses vaja läheb. Ülalpool vaatlesime armastajaid nii, et nad kuulusid kõik vaid inimeste hulka. Kui lisada armastusseosesse juhtumid, kus nt koer võib armastada peremeest ja vastupidi, siis omandavad valemid märksa keerukama kuju. Valem xyRxy tähendaks siis olukorda, kus ka kõik kivid armastavad üksteist ja näiteks ka veel kõiki galaktikaid jne. Kui tahta valemitele jätta täpselt sama sisu mis enne (et jutt oleks armastusest inimeste vahel), siis tuleb muuta valemite kuju. Lisaks armastusseosele Rxy, mis tähistab predikaati x armastab y- it (ilma igasuguste kontekstiliste kitsendusteta), tuleb lisada veel üks ühekohaline predikaat Ix x on inimene, kusjuures nii x kui ka y on suvalised objektid universumis. NB! Märkamatult on saabunud algaja jaoks üks kõige raskemini mõistetavaid kohti predikaatarvutuses. Võtame predikaadile Ix x on inimene lisaks veel ka predikaadi Kx x on koer. Tasub järele mõelda, mida tähendavad need valemid eraldi võetuna: Ix, Iy, Ky,
annaabi.ee 
