Formaalsed lähenemised keeleteaduses
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". Komplekspredikaate võib tõlgendada hulkade ühisosana (nt valge
koer on valgete asjade hulga ja koerte hulga ühisosa üks liikmetest).
Vabad muutujad: x, y jne hoiavad kohta. Vaba muutuja väärtus on avatud sisuga. Muutuja seotakse kvantoriga.
Eksistentsiaalkvantor = eksisteerib miski/mõni asi, mille kohta kehtib, et... Sellega kaasneb konjunktsioon.
Üldsuskvantor = kõik/igaüks. Iga konkreetse asja kohta peab kehtima, et... Sellega kaasneb implikatsioon.
Semantika ülesanded
1) Tõeväärtuse leidmine, tabelid
2) Predikaatloogika
annaabi.ee 
