Prädikatenlogik: Semantik
Channel: Prof. Markus
Date: 2021-06-10

Für die Semantik der Prädikatenlogik muss man zunächst klären, wie Atome zu ihren Wahrheitswerten kommen. Dazu führen wir Interpretationen und Zuweisungen (für Variablen) ein. Ist das einmal geschafft, dann ist der Rest eigentlich ganz einfach. Am Ende gibt es wieder eine kleine Logelei.

► Playliste für diesen Videokurs: https://www.youtube.com/playlist?list=PLz7XhF-sAU8z4FtL7V9uefCXzW9Z9rk5c
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/TheoLog2021 (13. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung:  https://iccl.inf.tu-dresden.de/web/TheoLog
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog