Es sei ${\displaystyle {}S}$ ein Symbolalphabet und ${\displaystyle {}\alpha }$ ein ${\displaystyle {}S}$-Ausdruck in der Prädikatenlogik erster Stufe. Man nennt ${\displaystyle {}\alpha }$ allgemeingültig (oder eine semantische Tautologie ), wenn er in jeder ${\displaystyle {}S}$-Interpretation ${\displaystyle {}I}$ gilt, also ${\displaystyle {}I\vDash \alpha }$ wahr ist.