Education
16 | 0:00:00 Start 0:00:05 Allgemeingültige Formeln 0:05:40 Vorkommen von Variablensymbolen in Formeln 0:07:33 freie und gebundene Vorkommen von Variablensymbolen 0:16:46 Substitutionen 0:30:50 Kollisionsfreie Substitutionen für Formeln 0:33:12 Logisch äquivalente Formeln 0:40:29 Weitere allgemeingültige Formeln 0:41:18 Großzügige Benutzung von Prädikatenlogik 0:44:02 Zusammenfassung 0:44:18 Übung 8: Prädikatenlogik 0:45:01 Prädikatenlogik: Syntax 0:48:48 Prädikatenlogik: Semantik 0:53:11 Formulierungen in Prädikatenlogik 0:57:52 Totalität und Eindeutigkeit 1:00:18 Logische Äquivalenz 1:06:33 Allgemeingültig- und Erfüllbarkeit 1:11:21 Trinker-Paradoxon 1:15:04 Beispiel unerfüllbar 1:17:23 Substitutionen 1:19:58 Kollisionen 1:22:44 Gebundene Umbenennung