In der Aussagenalgebra heißt eine Aussage "erfüllbar", wenn es mindestens bei einer Einsetzung von Elementen des Definitionsbereichs in eine wahre Aussage überführt werden kann.