Mathe für Nicht-Freaks: Aufgaben zur Logik

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Die Liebe formalisieren

Im Folgenden bedeutet $L(x,y)$, dass $x$ die Person $y$ liebt:

Außerdem sollen sich für diese Aufgabe alle Quantoren auf den Individuenbereich der Menschen beziehen. Dies bedeutet, dass zum Beispiel eine Aussage der Form $\mathrm{\forall }x:A(x)$ bedeutet „Für alle Menschen $x$ gilt $A(x)$“.

Logik-Rätsel

Du bist auf einer dieser berüchtigten Inseln mit ziemlich spleenigen Leuten gelandet. Ein Teil der Bewohner, die sog. Aufrichtigen, sprechen stets die Wahrheit. Ein anderer Teil, die Verworfenen, lügen immer. Und dann sind da noch die Wechselbälger, die mal die Wahrheit sagen, mal lügen. Alle geben nur Aussagen von sich. Du lauschst während deines dortigen Aufenthalts folgenden drei Gesprächen und versuchst herauszufinden, um welche Charaktere es sich jeweils handelt.

Logik-Rätsel 3: Existenz von Superman

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}