Eine
Interpretation (von
lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der
Modelltheorie ist eine
Struktur, die auf eine
logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein. Eine Interpretation, unter der eine Formel wahr ist, heißt
Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig.