Prædikatlogik

(eller: predicate logic, predicate calculus, førsteordenslogik, first-order logic).

En udvidelse af udsagnslogik med prædikatsysmboler, individvariable og kvantorer. Et prædikat er et udsagn af typen "X er rød", hvor X er en variabel. Udvidelsen gør det muligt at udtrykke udsagn af typen "Alle mennesker er dødelige" eller "Nogle filosoffer er dataloger".

I prædikatlogik skrives disse som henholdsvis "for alle X: X er menneske => X er dødelig" og "der eksisterer et X: X er filosof og X er datalog".

Her bruges de to kvantorer "for alle", kaldet alkvantor, og "der eksisterer", kaldet eksistenskvantor. Prædikatlogik er grundlaget for programmeringssproget PROLOG, idet Horn-klausuler er en særlig gruppe af prædikater.