Education
14 | 0:00:00 Starten 0:03:00 Prädikatenlogische Formeln 0:09:54 Terme 0:22:17 Atomare Formeln 0:33:04 Prädikatenlogische Formeln 0:39:37 Was ist wichtig 0:40:40 Interpretationen 0:45:55 Val 1:03:16 Allgemeingültige Formeln 1:13:29 Modelle 1:19:09 Was ist wichtig 1:19:53 Vorkommen 1:21:45 freie und gebundene Vorkommen