Die Negationsnormalform in der Prädikatenlogik

Als erster Schritt zum logischen Schließen ergibt es Sinn, die gegebenen Formeln syntaktisch zu vereinfachen. Dadurch kann man Algorithmen im Anschluss einfacher beschreiben. In diesem Video besprechen wir einige einfache syntaktische Umformungen mt Quantoren und wir schauen uns an, wie man damit die Negationsnormalform einer prädikatenlogischen Formel bilden kann.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (16. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...