Klausellogik

Klausel- vs. Prädikatenlogik 1. Stufe
Hierarchiestufen Klausellogik
Literal
Aussagenverknüpfung positive Literale
Aussagenverknüpfung negative Literale
Alternative Formulierungen Literal
Grundinstanz
Herbrand Basis
Herbrand Universum
Herbrand Interpretation
falsche Klausel
Herbrand Modell
Beispiel Herbrand Basis
Beispiel Logische Konsequenz
Semantik
intendierte Modell
minimale Modell
Resolution Beispiel 1
Resolution Beispiel 2
Refutation
Direkter Beweis
Refutationsbeweis 2

Kommentare

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