Ekstensja funkcji zdaniowej – zakres funkcji zdaniowej wyznaczony przez zbiór symboli, które wstawione w miejsce zmiennych wolnych zmieniają tę funkcję w zdanie prawdziwe[1].
Developed by Nelliwinne