Tähenduselt lähedane inimkeele sõnale või. Implikatsioon , sarnane inimkeele tingimuslausega kui... siis. PREDIKAATARVUTUS: Predikaat seos, tunnus vms, mis kehtib argumentide kohta. Argument - subjekt Lihtpredikaatide representeerimine 1 predikaat (verb; ilma ajata) + mõned argumendid (konstantsed). Predikaadid viitavad omadustele: formaalses semantikas tähendab ,,predikaat" hulka. Tavanoomenid on semantiliselt predikaadid, sest neid võib muuta konkreetsele objektile viitavaks (nt minu koer), sest paljudes keeltes pole vaja koopulat (nt vene k) ja sest nimisõna kasutus on predikatiivne (Lotte on koer). Kui predikaat on hulk, siis selle kasutus on võrdne mingi indiviidi asetamisega sellesse hulka. Nt: see poiss on geenius = see poiss on selles hulgas, kuhu geeniused kuuluvad. Hulgateooria predikatsioon ehk suhe ,,kuulub x hulka"
annaabi.ee 
