dla fˈuŋktsji fɔrmˈuwɨ zdaɲʲˈɔvɛj ˈɛf ˈiks ɔ jˈɛdnɛj zmʲˈɛnnɛj vˈɔlnɛj ˈiks, rˌɔzvaʒˈanɛj w zbjˈɔʒɛ ˈiks, fprɔvˈadʑa ɕɛ pɔjˈɛɲtɕɛ dʑɛdʑˈinɨ dˌɛˈiks ˈɛf lˈub dˈɛ ˈɛf,ˈiks fˈuŋktsji zdaɲʲˈɔvɛj, ˌɔbɛjmˈujɔnts tɔ̃ nˈazvɔ̃ pˈɔdʑbjur ˌɛlɛmˈɛntuv zbjˈɔru ˈiks ɔ tɛj vwasnˈɔɕtɕi, ʒˈɛ pɔ pˌɔtstavʲˈɛɲʲu wˈɛ fˈuŋktsji zdaɲʲˈɔvɛj ˈɛf ˈiks w mʲˈɛjstsɛ zmʲˈɛnnɛj ˈiks tɨx ˌɛlɛmˈɛntuf ˌɔtʃɨmˈujɛ ɕɛ zdˈaɲʲɛ pravdʑˈivɛ lˈup fawʃˈɨvɛ.
Dla funkcji (formuły) zdaniowej F(x) o jednej zmiennej wolnej x, rozważanej w zbiorze X, wprowadza się pojęcie dziedziny DX(F) lub D(F,X) funkcji zdaniowej, obejmując tą nazwą podzbiór elementów zbioru X o tej własności, że po podstawieniu w funkcji zdaniowej F(x) w miejsce zmiennej x tych elementów otrzymuje się zdanie prawdziwe lub fałszywe.