Semantik der Aussagenlogik
Channel: Prof. Markus
Date: 2021-01-18

Einführung in die Aussagenlogik, Teil 2: Was bedeuten aussagenlogische Formeln eigentlich? Wir definieren den Wahrheitswert aussagenlogischer Formeln entsprechend einer Wertzuweisung und finden heraus, wer lügt.

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