takie wyrażenie opisowe, które zawiera zmienne (x, y, z, S, M, P itd.). Wyrażenie takie po dokonaniu odpowiednich podstawień na miejsce zmiennych staje się zdaniem w sensie logicznym. Funkcją zdaniową jest np. wyrażenie "Każde S jest P", gdyż jeśli dokonamy odpowiednich podstawień za zmienne S oraz P (w tym przypadku podstawiając jakieś nazwy generalne), to z wyrażenia tego powstanie zdanie: prawdziwe, np. "<q>Każdy notariusz jest prawnikiem</>", albo fałszywe, np. "<q>Każdy student jest piłkarzem</>". Podobnie jest funkcją zdaniową wyrażenie "<q>Jeżeli p, to q</>" - z tym, że nie jest to funkcja zdaniowa ze zmiennymi nazwowymi, jak w poprzednim przypadku, lecz funkcja zdaniowa ze