Next:
Syntax der Aussagenlogik
Stichwortsammlung LOGIK
Syntax der Aussagenlogik
Semantik der Aussagenlogik
Prädikatenlogik
atomare Formeln
Disjunktion
DNF
Hornformel
Implikation
Klauseln
Klauselkopf
Klauselkörper
KNF
Konjunktion
Literal
Logisches Programm
Negation
Normalformen
Signatur
Syntax Aussagenlogik
Wohlgeformten Formeln
Ableitbarkeit
Belegung
Erfüllbarkeit
Folgerbarkeit
Interpretation
Kalkül
Konsistenz
Korrektheit
Logische Axiome
Minimales Modell
Modell
Modell-Lemma
Modus Ponens
Resolution
Resolutionslemma
Resolutionssatz Aussagenlogik
Resolvent
Semantik Aussagenlogik
Tautologie
Vollständigkeit
Vollständigkeit
Wahrheitswerte
Ableitbarkeit
Atomare Formeln
beschränkte Klauseln
constrained
Deterministische Klauseln
Deterministische Tiefe
Erfüllbarkeit
Folgerbarkeit
Funktionssymbol
Generalisierte
-
Subsumtion
Generalisierung
Generative Klauseln
Grundmenge
ij-deterministische Klauseln
indeterministische Klauseln
k-llokale Hornklauseln
k-lokale Hornklauseln
k-vlokale Hornklausen
Konstante
Logik-Programmierung
Modell
Prädikatenlogische Formeln
Prädikatsymbol
Sematik der Prädikatenlogik
Stellenzahl
Stelligkeit
Struktur
Substitution
Syntax der Prädikatenlogik
Terme
Universum
Variable
Wahrheitswert
Wert
-Subsumtion
Uschi Robers, 6.2.98