ÄHNLICHE DOKUMENTE
Diese Menge heißt Bereich des Typs (engl. domain) Bereiche sind auf konkretes Modell
werden als zweistellige Relationen interpretiert (strenggenommen: Funktionen von Individuen in die Menge der charakteristischen Funktionen) Beispiele: transitive Verben,
gleichbedeutend sind mit einer Individuenkonstanten Wenn zwei Pronomen sich auf das selbe Individuum beziehen, werden sie durch gleichnamige Variablen übersetzt... Peter
Anmerkung: wenn der Wahrheitswert einer Formel in einem Modell nicht von der Belegungsfunktion abhängt, kann die Belegungsfunktion weggelassen
Folgerung (Wenn A wahr ist, muss auch B wahr sein.) Widerspruch (A und B k¨onnen nicht gleichzeitig wahr sein.) Synonymie (A und B sind unter den selben Bedingungen
Unterscheidung zwischen Argumenten (Ergänzungen, Aktanten) und Adjunkten
Folgerung (Wenn A wahr ist, muss auch B wahr sein.) Widerspruch (A und B k¨onnen nicht gleichzeitig wahr sein.) Synonymie (A und B sind unter den selben Bedingungen
Interpretation wird durch Belegungsfunktion gesteuert unterschiedliche Vorkommen eines Pronomen m¨ussen nicht koreferent sein. Er