Einführung in die Aussagenlogik | Mathe für Informatiker

Inhalt 📚
Der selbsternannte Consulting Detective Sherlock Holmes hilft der Polizei (und insbesondere dem oft etwas unbeholfen wirkenden Inspector Lestrade) wieder einmal bei der Aufklärung eines schwierigen Mordfalls. Nachdem Sherlock den Tatort untersucht und die Zeugen befragt hat, wird ihm schnell klar, wer der Mörder ist. Er führt nun in gewohnter Form aus: „ Wenn Herr Kirigaya nicht der Täter ist, dann ereignete sich der Mordfall 5km von Herrn Kirigayas Wohnung entfernt. Entweder hat der Mordfall nicht 5km von Herrn Kirigayas Wohnung stattgefunden oder Frau Takahashi hat die Schreie des Opfers gehört. Wenn Herr Kirigaya sich vor der Tatzeit nicht in einem Hotel aufgehalten hat, dann hat Frau Takahashi die Schreie des Opfers nicht gehört. Wenn Herr Kirigaya sich vor der Tatzeit in dem Hotel befunden hat, dann ereignete sich der Mord auch 5km von seiner Wohnung entfernt und der Täter hätte die Halskette des Opfers gestohlen. Aber, wie Sie sehen, wurde die Halskette nicht gestohlen! Das Opfer trägt Sie immer noch. Damit sind Sie der Täter, Herr Kirigaya!“ Sind seine Schlussfolgerungen korrekt? Dieses Video ist ein Versuch, die von einigen #Studenten als „trocken“ empfundene Theorie der #Aussagenlogik „mal anders“ zu erklären. Wir begleiten dabei den Meisterdetektiv Sherlock Holmes bei der Lösung eines Falls. Die Schlussfolgerungen basieren dabei auf den Prinzipien der Aussagenlogik.

- Vorwort: 0:00
- INTRO: 0:18
- Einführung: 0:25
- Der Fall: 0:41
- Was ist eine Aussage: 1:34
- Prämisse und Schlussfolgerung: 3:02
- Negation: 3:27
- Konjunktion: 4:46
- Disjunktion: 5:49
- Exklusiv-Oder (XOR): 6:42
- Implikation: 7:13
- Äquivalenz: 8:42
- Operatorrangfolge: 9:49
- Logische Äquivalenzregeln: 10:52
- Ausdehnung: 11:59
- Konjunktion (Schlussregel): 12:12
- Modus Ponens: 12:25
- Modus Tollens: 12:46
- Lösung des Falls: 13:07
- ENDE: 16:18

Видео Einführung in die Aussagenlogik | Mathe für Informatiker канала Algorithmen verstehen