prædikatslogik
Prædikatslogik, funktionslogik, relationslogik, den del af moderne logik, som vedrører udsagn, der indeholder kvantorer og prædikater (som er symboler for egenskaber). Eksempelvis kan udsagnet "alle børn har en moder" omformes til det logiske udtryk ∀x(B(x)⇒∃yM(y,x