Interpretation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Zuweisung von Bedeutungen an die nichtlogischen Symbole (Konstanten, Funktionssymbole, Prädikatsymbole) einer formalen Sprache zusammen mit einer Grundmenge (Universum) des Diskurses; diese Zuweisung bestimmt, welche Formeln relativ zu ihr wahr, falsch oder unbestimmt sind.