Funktionale Applikation

Die Anwendung einer Funktion auf ein Argument wird funktionale Applikation genannt. Formal heisst dies, dass wenn Funktion f ein Ausdruck vom Typ  und alpha ein Ausdruck vom Typ a ist, dann ist f($$\mathsf \alpha$$) ein Ausdruck von Typ b.

Beispiel
Das einstellige Prädikat lachen kann als Funktion des Typs  verstanden werden. Wird die Funktion auf das Argument a angewendet, das zum Beispiel für die Person Dagmar steht, so erhalten wir den Wert b. Der Wert des Arguments b ist in diesem Fall ein Wahrheitswert, der den Wert wahr annimmt, wenn Dagmar lacht, und falsch, wenn Dagmar nicht lacht.