Interpretation
Sign in to saveAlso known as semantic interpretation, interpretation of a formal language
Struktur, die auf eine logische Formel bezogen wird
Article · Deutsch
Eine Interpretation (von lateinisch 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.
Abstract from DBpedia / Wikipedia · CC BY-SA