Logisch Schließen mit Gleichheit

Gleichheit ist ein praktisches Feature zur logischen Modellierung und wir können es auch in Prädikatenlogik leicht einbauen. In diesem Video erkläre ich, wieso Gleichheit nützlich ist und wie man mit ihr umgehen kann. Wie wir sehen werden, kann man Gleichheit in der Prädikatenlogik ausreichend genau simulieren, auch wenn man sie nicht als gesondertes Feature voraussetzt. Dabei hilft uns, dass zum logischen Schließen schon das Erhalten der Erfüllbarkeit ausreicht.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (15. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...

[@polarfoxDev]

..im Videotitel fehlt offenbar ein “L” 😄