Eine Formel heißt widerlegbar, wenn es mindestens eine Interpretation der in ihr vorkommenden Atome gibt, unter der die Formel falsch ist.
ˌaɪnə fˈɔɾməl hˈaɪst vˌiːdɜlˈeːɡbɑːɾ, vˌɛn ɛs mˈɪndəstəns ˌaɪnə ˌɪntɜpɾˌeːtatsjˈoːn dɛɾ ɪn iːɾ fˈoːɾkˌɔməndən atˈoːmə ɡˈiːpt, ˌʊntɜ dɛɾ diː fˈɔɾməl fˈalʃ ɪst.