- tõlgendus - formaliseeritud süsteemi elementidele omistatav konkreetne tähendus. Loogikaarvutuste korral seob interpretatsioon valemis esinevate indiviidmuutujatega teatud hulga H elemendid, funktsioonisümbolitega operatsioonid hulgal H ja atomaarsete valemitega teatud suhteid hulga H elementide vahel. Teiste sõnadega, predikaatarvutuse valemeid interpreteeritakse alati mingil algebralisel süsteemil.