Prädikatenlogik/Allgemeingültig/Jedes Modell/Definition

Allgemeingültiger Ausdruck

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