Education
14 | 0:00:00 Starten 0:04:48 Neutrale Elemente 0:14:29 Prädikatenlogische Formeln – Beispiele 0:17:15 Interpretationen 0:23:47 val (D,I,ß) - ein Wert für jeden Term und ein Wahrheitswert für jede Formel 0:40:58 Allgemeingültige Formeln 0:46:57 Modelle 0:52:34 Was ist wichtig 0:54:45 Vorkommen von Variablensymbolen in Formeln 1:02:17 Substitutionen 1:14:20 Weitere allgemeingültige Formeln 1:15:42 Kalküle 1:17:43 Axiome 1:21:12 Schlussregeln 1:22:30 Ableitungen – formal gefasst 1:24:49 Beweis – formal gefasst