Im Gegensatz zur Gültigkeit, die Eigenschaft von Formeln oder von Argumenten sein kann, sind Erfüllbarkeit, Widerlegbarkeit und Unerfüllbarkeit Eigenschaften von Sätzen oder von Satzmengen.
ɪm ɡeːɡənzˈats tsuːɾ ɡˈyltɪçkˌaɪt, diː ˈaɪɡənʃˌaft fɔn fˈɔɾməln ˌoːdɜ fɔn ˌaɾɡuːmˈɛntən zaɪn kˌan, zɪnt ɛɾfˈylbaɾkˌaɪt, vˈiːdɜlˌɛɡbaɾkˌaɪt ʊnt ˈʊnɛɾfˌylbaɾkˌaɪt ˈaɪɡənʃˌaftən fɔn zˈɛtsən ˌoːdɜ fɔn zˈatsmɛŋən.