Funkcja zdaniowa (inaczej predykat lub formuła zdaniowa, także forma zdaniowa) to wyrażenie językowe zawierające zmienne wolne, które w wyniku związania tych zmiennych kwantyfikatorami lub podstawienia za nie odpowiednich wartości staje się zdaniem.
fˈuŋktsja zdaɲʲˈɔva inˈatʃɛj prɛdˈɨkat lˈup fɔrmˈuwa zdaɲʲˈɔva, tˈaɡʒɛ fˈɔrma zdaɲʲˈɔva tɔ vˌɨraʒˈɛɲʲɛ jˌɛ̃zɨkˈɔvɛ zˌavʲɛrajˈɔntsɛ zmʲˈɛnnɛ vˈɔlnɛ, ktˌurɛ w vɨɲˈiku zvʲɔ̃zˈaɲʲa tɨɣ zmʲˈɛnnɨx kfˌantɨfˌikatɔrˈami lˈup pˌɔtstavʲˈɛɲʲa zˈaɲʲɛ ˌɔtpɔvʲˈɛdɲiɣ vartˈɔɕtɕi stˈajɛ ɕɛ zdˈaɲʲɛm.