Prädikatenlogik: Syntax

Die Syntax der Prädikatenlogik ist eigentlich ganz einfach. Unterschiede zur Aussagenlogik gibt es nur auf unterster Ebene (bei den Atomen) und durch die beiden Quantoren. Wir sehen uns das genauer an und erklären noch einige einfache Grundbegriffe (Teilformel, freie und gebundene Variablen, offene und geschlossene Formeln). ► Playliste für diesen Videokurs:    • Theoretische Informatik und Logik (B.Sc.-N...   ► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (13. Vorlesung) ► Aktuelle und frühere Versionen der Vorlesung: https://iccl.inf.tu-dresden.de/web/Th... ► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog