Eine Formel heißt unerfüllbar, wenn sie unter allen Interpretationen der in ihr vorkommenden Satzbuchstaben falsch ist.
ˌaɪnə fˈɔɾməl hˈaɪst ˈʊnɛɾfˌylbɑːɾ, vˌɛn ziː ˌʊntɜ ˈalən ˌɪntɜpɾˌeːtatsjˈoːnən dɛɾ ɪn iːɾ fˈoːɾkˌɔməndən zˈatsbuːxʃtˌɑːbən fˈalʃ ɪst.