Ekstensja funkcji zdaniowej - zakres funkcji zdaniowej wyznaczony przez zbiór symboli, które wstawione w miejsce zmiennych wolnych zmieniają tę funkcję w zdanie prawdziwe.