Aufgaben zur Logik – Serlo „Mathe für Nicht-Freaks“

Die Liebe formalisierenBearbeiten

Im Folgenden bedeutet  , dass   die Person   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   bedeutet „Für alle Menschen   gilt  “.

Teilaufgabe 1Bearbeiten

Aufgabe (Die Liebe formalisieren)

Übersetze folgende Aussagen in die natürliche Sprache:

  1.  
  2.  
  3.  
  4.  
  5.  

Lösung (Die Liebe formalisieren)

Lösung zur Übersetzung in die natürliche Sprache:

  1. Jeder liebt jeden.
  2. Es gibt mindestens einen Menschen, der jeden Menschen liebt.
  3. Es gibt genau einen Menschen, der von jedem Menschen geliebt wird.
  4. Liebst du jemanden, dann wirst du auch von ihm geliebt.
  5. Wer sich selbst liebt, der wird auch von einer anderen Person geliebt.

Teilaufgabe 2Bearbeiten

Aufgabe

Übersetze folgende Aussagen in die formale Aussagenlogik:

  1. Es gibt zwei verschiedene Menschen, die sich gegenseitig lieben.
  2. Es gibt keine Liebe. (Im Sinne von: Niemand liebt niemanden – nicht einmal sich selbst.)
  3. Jeder liebt nur sich selbst. (Im Sinne von: Jeder liebt sich selbst und nur sich selbst.)
  4. Für jeden Menschen gibt es einen anderen Menschen, der ihn liebt.
  5. Liebt sich eine Person selbst, dann wird sie von keiner anderen Person geliebt.

Lösung

Lösung zur Übersetzung in die formale Aussagenlogik:

  1.  
  2.  
  3.  
  4.  
  5.  

Bestimmung des Wahrheitswerts quantifizierter AussagenBearbeiten

Aufgabe

Gegeben sei die Aussageform:

 

und die Mengen:

  1.  
  2.  
  3.  
  4.  
  5.  
  6.  

Welche der folgenden Aussagen sind wahr und welche sind falsch?

  1.  
  2.  
  3.  
  4.  
  5.  
  6.  
  7.  
  8.  
  9.  
  10.  
  11.  
  12.  
  13.  
  14.  
  15.  
  16.  
  17.  

Lösung

Nummer Aussage Bedeutung Wahrheitswert
1   Zu jedem   existiert ein   mit  .   falsch
2   Zu jedem   existiert ein   mit  .   falsch
3   Zu jedem   existiert ein   mit  .   wahr
4   Zu jedem   existiert ein   mit  .   wahr
5   Es gibt ein  , so dass für alle   die Aussageform   erfüllt ist.   falsch
6   Es gibt ein  , so dass für alle   die Aussageform   erfüllt ist.   wahr
7   Es gibt ein  , so dass für alle   die Aussageform   erfüllt ist.   falsch
8   Für alle   und für alle   gilt  .   falsch
9   Zu jedem   gibt es ein   mit  .   falsch
10   Es existiert ein  , so dass für alle   die Aussageform   erfüllt ist.   falsch
11   Es existiert ein  , so dass für alle   die Aussageform   erfüllt ist.   wahr
12   Es existiert ein  , so dass für alle   die Aussageform   erfüllt ist.   falsch
13   Zu jedem   gibt es ein   mit  .   wahr
14   Es existiert ein  , so dass für alle   gilt  .   falsch
15   Es existiert ein  , so dass für alle   gilt  .   wahr
16   Zu jedem   gibt es ein   mit  .   wahr
17   Es gibt ein   und ein  , so dass die Aussageform   erfüllt ist.   wahr

Wahrheitswert von Aussagen über natürliche ZahlenBearbeiten

Aufgabe

Die Grundmenge sei  . Welche der folgenden Aussagen ist wahr?

  1.  
  2.  
  3.  
  4.  
  5.  

Lösung

  1. falsch
  2. falsch
  3. falsch
  4. falsch
  5. wahr

Fehlerhafte Aussagen korrigierenBearbeiten

Aufgabe

Wo liegt der Fehler in folgenden Aussagen? Verändere die Aussagen so, dass sie wahr werden.

  1.  
  2.  
  3.  

Teilaufgabe 1Bearbeiten

Frage: Wo liegt der Fehler?

Für   ist   und damit  .

Frage: Wie lautet die korrigierte Aussage?

Es gibt keine eindeutige Lösung hier. Folgende Aussagen sind Beispiele für richtige Lösungen:

  •  
  •  
  •  

Teilaufgabe 2Bearbeiten

Frage: Wo liegt der Fehler?

Gegenbeispiel: Sei   und  . Es ist dann  , aber  .

Frage: Wie lautet die korrigierte Aussage?

Folgende Korrekturen sind Beispiele für wahre Aussagen:

  •  
  •  
  •  

Teilaufgabe 3Bearbeiten

Frage: Wo liegt der Fehler?

Ist  , dann ist stets  , auch wenn   ist.

Frage: Wie lautet die korrigierte Aussage?

Folgende Korrekturen sind Beispiele für wahre Aussagen:

  •  
  •  
  •  

Logik-RätselBearbeiten

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.

Hinweis

Wir setzen bei den folgenden Aufgaben voraus, dass alle Aussagen einen eindeutigen Wahrheitswert haben! Da sich hier die Aussagen aufeinander beziehen, ist das nicht selbstverständlich. Beispiel: „Dieser Satz ist falsch.“[1]

Teilaufgabe 1Bearbeiten

Aufgabe

1. Gespräch

  • Typ Nr. 1: „Einer von uns beiden ist ein Aufrichtiger.“
  • Typ Nr. 2: „Einer von uns beiden ist verworfen.“
  • Typ Nr. 1: „Du sprichst wahre Worte.“

Lösung

Es handelt sich bei beiden um Wechselbälger.

Teilaufgabe 2Bearbeiten

Aufgabe

2. Gespräch

  • Typ A: „Ich bin ja so ein Wechselbalg.“
  • Typ B: „Genau eine der ersten beiden Aussagen ist wahr.“
  • Typ A: „Genau eine der ersten drei Aussagen ist wahr.“
  • Typ B: „Mindestens drei unserer vier Aussagen sind falsch.“

Wie kommt man auf den Beweis?

Wenn die 1. Aussage wahr ist und die zweite auch, führt das zu einem Widerspruch, da dann 2 Aussagen wahr sind und das der 2. Aussage widerspricht. Dass die erste wahr ist und die zweite falsch, ist ebenfalls unmöglich, da dann genau eine Aussage wahr ist. Wenn die erste falsch und die zweite wahr ist, könnte die dritte weder wahr noch falsch sein, da wenn sie wahr ist, zwei Aussagen wahr sind und wenn sie unwahr ist, genau eine Aussage wahr ist. Möglich ist aber, dass beide falsch sind, und da alle Aussagen wahr oder falsch sein müssen, ist das nach dem Ausschlussprinzip auch der Fall.

Frage: Was ist mit den Aussagen drei und vier?

Drittens muss falsch sein, denn Typ A ist kein Wechselbalg und hat einmal gelogen, ist also verworfen. Aussage 4 ist daher wahr.

Lösung

Typ A ist ein Verworfener, Typ B ein Wechselbalg.

Teilaufgabe 3Bearbeiten

Aufgabe

3. Gespräch (In dieser Gruppe tritt jeder Charakter genau einmal auf)

  • Typ X: „Y ist der Aufrichtige.“
  • Typ Y: „Z ist das Wechselbalg.“
  • Typ Z: „X ist ja so was von verworfen.“

Lösung

Typ X ist verworfen, Typ Y wechselhaft und Typ Z aufrichtig.

Logik-Rätsel 2: Ungeklärter MordfallBearbeiten

Aufgabe

Graf Eutin ist ermordet worden. Als Mörder kommen nur Fräulein Ming, Professor Bloom, Frau Weiß oder Oberst von Gatow in Frage. Versuche an Hand der Aussagen dieser vier Personen den Möder/die Mörderin zu überführen. Dabei darfst du annehmen, dass bis auf den Mörder/die Mörderin alle anderen die Wahrheit sagen.

  • Fräulein Ming: „Ich war zur Tatzeit mit Professor Bloom zusammen.“
  • Professor Bloom: „Oberst von Gatow war zur Tatzeit im Saloon.“
  • Frau Weiß: „Fräulein Ming, Oberst von Gatow und ich waren zur Tatzeit nicht im Saloon.“
  • Oberst von Gatow: „Ich bin unschuldig. Der Mord ist im Saloon passiert.“

Wer ist der Mörder/die Mörderin?

Wie kommt man auf den Beweis?

Da bis auf den Mörder/die Mörderin alle die Wahrheit sagen, können wir zur Aufklärung der Tat folgendermaßen vorgehen: Wir streichen nacheinander jeweils eine der vier Aussagen und überprüfen die anderen drei. Dabei muss sich in genau einem dieser vier Fälle bei den anderen Aussagen kein Widerspruch ergeben. Die in diesem Fall gestrichene Aussage war die des Mörders/der Mörderin. Auf diese Weise sollten selbst unbegabte Hobbykriminalisten die Tat aufklären können!  

Lösung

Fall 1: Fräulein Ming lügt.

Prof. Bloom: „Oberst von Gatow war zur Tatzeit im Saloon.“ ✔

Fr. Weiss: „Frl. Ming, Oberst von Gatow und ich waren zur Tatzeit nicht im Saloon.“ ↯

Fall 2: Professor Bloom lügt.

Frl. Ming: „Ich war zur Tatzeit mit Professor Bloom zusammen.“ ✔

Fr. Weiss: „Frl. Ming, Oberst von Gatow und ich waren zur Tatzeit nicht im Saloon.“ ✔

Oberst von Gatow: „Ich bin unschuldig. Der Mord ist im Saloon passiert.“ ↯

Fall 3: Oberst von Gatow lügt.

Frl. Ming: „Ich war zur Tatzeit mit Professor Bloom zusammen.“ ✔

Prof. Bloom: „Oberst von Gatow war zur Tatzeit im Saloon.“ ✔

Fr. Weiss: „Frl. Ming, Oberst von Gatow und ich waren zur Tatzeit nicht im Saloon.“ ↯

Fall 4: Frau Weiss lügt.

Frl. Ming: „Ich war zur Tatzeit mit Professor Bloom zusammen.“ ✔

Prof. Bloom: „Oberst von Gatow war zur Tatzeit im Saloon.“ ✔

Oberst von Gatow: „Ich bin unschuldig. Der Mord ist im Saloon passiert.“ ✔

Also ist Frau Weiß die Einzige der Tatverdächtigen, die lügt, und ist somit als Mörderin überführt.

Logik-Rätsel 3: Existenz von SupermanBearbeiten

Aufgabe

Begründe, dass die folgenden Aussage richtig ist:

„Wenn Superman in der Lage und willig ist, Übel zu verhindern, dann würde er es tun. Wenn Superman nicht in der Lage ist Übel zu verhindern, dann wäre er impotent. Wenn Superman nicht willig wäre, Übel zu verhindern, dann wäre er bösartig. Superman verhindert kein Übel. Wenn Superman existiert, dann ist er weder impotent noch bösartig. Deswegen existiert Superman nicht.“

Wie kommt man auf den Beweis?

Die gesamte Aussage besteht aus sechs Teilaussagen. Formuliere diese zunächst. Stelle nun, mit Hilfe der Teilaussagen und Junktoren, eine aussagenlogische Formel für die gesamte Aussage auf. Bei der aussagenlogischen Formel handelt es sich um eine Implikation. Hier ist es einfacher zu zeigen, dass diese nicht falsch sein kann. Dies trifft nur in einem Fall zu. Begründe, dass dieser nicht eintreten kann.

Lösung

Beweisschritt: Formulierung der Teilaussagen.

  • L: Superman ist in der Lage Übel zu verhindern.
  • W: Superman ist willig Übel zu verhindern.
  • V: Superman verhindert Übel.
  • I: Superman ist impotent.
  • B: Superman ist bösartig.
  • E: Superman existiert.

Beweisschritt: Formulierung der gesamten Aussage.

Bei der Aussage handelt es sich um eine Implikation. Diese lautet:

 

Beweisschritt: Nachweis, dass die Aussage wahr ist.

Wie im Lösungsweg beschrieben ist es hier einfacher zu zeigen, dass die Implikation nicht falsch sein kann. Die Implikation ist nur dann falsch, wenn aus einer wahren Aussage eine falsche Aussage folgt. D.h. wenn

  •   falsch ist, d.h.   wahr ist, und
  •   wahr ist.

Die zweite Aussage besteht nun aus lauter „und“-Verknüpfungen. Sie ist daher genau dann wahr, wenn jede der Einzelaussagen wahr ist. D.h. wenn

  1.   wahr,
  2.   wahr,
  3.   wahr,
  4.   wahr, und
  5.   wahr

ist.

Da nun   wahr sein muss, müssen nach 5. auch   wahr sein. Also müssen   und   wahr sein, d.h.   und   müssen falsch sein.

Nach 4. muss   falsch sein.

Da   nach 5. falsch sein muss, muss nach 3. auch   falsch, also   wahr sein.

Genauso muss   nach 2. wahr sein, da   nach 5. falsch war.

Nun ergibt sich aber aus 1. ein Widerspruch, da   und   wahr gewählt werden mussten, und   falsch, ist   falsch!

Damit gibt es keine Belegung für die die Implikation   falsch ist.

Damit existiert Superman nicht, außer in Hollywood! ;-)