Die Pränexform

Unser nächster Schritt in der Vereinfachung prädikatenlogischer Formeln ist die sogenannte Pränexform, die man sehr einfach herstellen kann, wenn man zuvor die Formel korrekt bereinig und in Negationsnormalform umgewandelt hat. Daher gibt es hier auch für diese beiden Teile noch ein Rechenbeispiel.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (17. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...