In einer
formalen Logik oder einem
Kalkül bezeichnet man eine
Formel als
allgemeingültig oder
gültig, wenn sie von jeder beliebigen
Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der
Erfüllbarkeit einer Formel. Während die bloße Erfüllbarkeit bereits gegeben ist, wenn sich nur eine einzige erfüllende Interpretation – ein sogenanntes
Modell – findet, so sind im Falle einer allgemeingültigen Formel
alle Interpretationen Modelle.