Wichtiges aus dem logic handout

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.

Logische Sprache
Semantik
Modell
Erfüllbarkeit
Widerlegbarkeit
Tautologie
Inkonsistenz
logische Konsequenz
Propositionale Klausellogik
Relationale Klausellogik
Vollständige Klausellogik
Prolog
Herbrand-Basis
Herbrand-Interpretation
unwahre Klausel
wahre Klausel
logische Konsequenz
minimales Modell
Herbrand-Universum
Herbrand-Basis
Modell