05 |

0:00:00 Starten

0:01:26 Aussagen - "objektiv" wahr oder falsch

0:04:10 Komplizierte Aussagen - aus einfacheren zusammengesetzt

0:08:18 Alphabet der Aussagenlogik

0:11:21 Konstruktionsabbildungen

0:14:16 Lesearten

0:18:29 Konstruktion - ein Beispiel

0:22:26 Boolesche Funktionen

0:29:21 Ziel: Bedeutung einer aussagenlogischen Formel - eine boolesche Funktion

0:35:02 Äquivalente Formeln

0:44:00 Modelle

0:45:40 Wichtige Spezialfälle aussagenlogischer Formeln

0:51:26 Tautolgien - viele Beispiele auf ein Mal

0:55:57 Tautologien - konkrete Beispiele

0:57:47 Kalkül - ein System für Beweise

1:03:18 Ableitungen - formal gefasst

1:05:57 Beweis - formal gefasst

1:11:46 Modus Ponens "erhält Allgemeingültigkeit"