Sei $A$ eine Menge von prädikatenlogischen Ausdrücken $\{A_1, ..., A_n\}$
Eine Interpretation $I$ ist ein Modell von $A :\Leftrightarrow \; ?$
Nenne die Kurzschreibweise!
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.