funkcja nazwowa

funkcja nazwowa,

log. wyrażenie zawierające zmienne, z których co najmniej jedna jest wolna (zmienna logiczna), i przekształcające się w nazwę w rezultacie podstawienia odpowiednich wyrażeń stałych w miejsce zmiennych wolnych,

np. „x²”, „ojciec X-a”.