Aufgaben zur Typentheorie - Interpretationsfunktion

Hallo,

meine Dozentin hat uns folgende Aufgabenstellung gegeben:

Entwerfen Sie drei unterschiedliche Situationen (s1, s2, s3) in denen jeweils alle nachfolgenden Ausdrücke wahr sind. Geben Sie die Situationen in Form von Grafiken an!

(a) Paul liebt Erna oder Anna liebt Fritz.
(b) Wenn Paul Erna liebt, dann liebt Erna Paul.
(c) Hanna liebt Fritz und Paul.
(d) Fritz liebt niemanden.


Leider kann ich mir im Rahmen des Unterrichts die Lösungen nicht herleiten, daher bitte ich hier um diesbezügliche Hilfe. Ich weiß auch nicht, ob die Lösungsmöglichkeiten wie in der Überschrift angegeben unter Typentheorie und Interpretationsfunktion fallen, daher wäre ich, wenn jemand weiß wie Lösungen dazu aussehen können, um jede schnelle Hilfe sehr dankbar!
Gerne reichen dazu einfache Skizzen auf Papier damit ich eine Vorstellung habe, wie das aussehen könnte.

Nächtliche Grüße

P.s. oder fällt das ganze möglicherweise unter die Kategorie Funktionen und Relationen?
Ich habe nur keine Idee davon wie drei verschiedene Situationen dazu aussehen könnten...

Vielen Dank schon Mal im Voraus!

Ich weiß nicht, in welchem Zusammenhang ihr das behandelt und löse natürlich auch keine Prüfungsaufgaben. Aber vielleicht hilft es, wenn ich bloß mal 'logische Formen' andeute, also wie etwa man das prädikatenlogisch übersetzen würde.

(a) Paul liebt Erna oder Anna liebt Fritz.
(b) Wenn Paul Erna liebt, dann liebt Erna Paul.
(c) Hanna liebt Fritz und Paul.
(d) Fritz liebt niemanden.

a) liebt (Paul, Erna) oder liebt (Anna, Fritz)
b) liebt (Paul, Erna) impliziert liebt (Erna, Paul)
c) liebt (Hanna Fritz) und liebt (Hanna, Paul)
d) Es gibt kein x, so dass liebt (Fritz, x)

Hallo, habe auch eine Frage:

Entwerfen Sie drei unterschiedliche Situationen (s1, s2, s3) in denen jeweils alle
nachfolgenden Ausdrücke wahr sind. Geben Sie die Situationen in Form von Grafiken
an!
(a) Paul liebt Erna oder Anna liebt Fritz.
(b) Wenn Paul Erna liebt, dann liebt Erna Paul.
(c) Hanna liebt Fritz und Paul.
(d) Fritz liebt niemanden.

Wie genau ist das gemeint, kann wenig damit anfangen.



und:
Notieren Sie die Bedeutung der nachfolgenden Sätze mit Hilfe der mathematischen
Notation für Prädikate.1 Geben Sie an, welche der nachfolgenden Ausdrücke
Funktionen, welche Relationen sind und begründen Sie jede Entscheidung! Welche
der nachfolgenden Relationen und Funktionen sind transitiv, welche sind
symmetrisch?

(a) Paul ist verheiratet mit Helga.
(g) Helga ist kleiner als Paul.
(b) Paul ist der Vater von Oskar.
(h) Oskar ist kleiner als Helga.
(c) Paul ist der Vater von Emma.
(i) Julia ist kleiner als Oskar.

 Moderatoren-Hinweis: 
Verschoben aus: https://www.linguisten.de/Thread-Intension-Extension