Kvantifikatorski račun
Predika t predstavlja predikatsku formulu koja je interpretirana. Def. Broj slobodnih promjenljivih u jednom predikatu predstavlja dužinu tog predikata. Predikat dužine 0 predstavlja iskaz. Istinitosna vrednost predikatske formule Istinitosna vrjednost...