Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej). Symbole funkcyjne są elementami alfabetów języków pierwszego rzędu (a także innych logik) i charakteryzują się tym, że zastosowane do obiektów zwanych termami produkują nowe termy.
W potocznym języku matematyki, symbole funkcyjne w wyrażeniach matematycznych oznaczają funkcje, np.: w wyrażeniu symbolem funkcyjnym jest w jest nim +, w są nimi oraz
Symbole funkcyjne i termy w logikach pierwszego rzędu Wprowadzając język pierwszego rzędu najpierw określamy jego alfabet czyli zbiór symboli funkcyjnych, symboli relacyjnych i stałych. Każdy z tych symboli ma jednoznacznie określony charakter (tzn. wiadomo czy jest to stała, czy symbol funkcyjny, czy też predykat) i każdy z symboli funkcyjnych i predykatów ma określoną arność (która jest dodatnią liczbą całkowitą). Ustalmy też nieskończoną listę zmiennych (zwykle ).
Definiujemy termy języka przez indukcję po ich złożoności w następujący sposób: wszystkie stałe i zmienne są termami, jeśli są termami, i jest -arnym symbolem funkcyjnym, to jest termem.