Prädikatenlogik

Terme
Formeln
Wirkungsbereich Quantor 1
Wirkungsbereich Quantor 2
freie/gebundene Variablen
Aussage
Matrix
Struktur
Interpretation
passende Struktur
Interpretation von Termen
Interpretation atomare Formel
Interpretation Negation
Interpretation Konjunktion
Interpretation Disjunktion
Interpretation Allquantor
Interpretation Existenzquantor
$\mathcal{A}_{[x/d]}$
Modell
Allgemeingültigkeit
Erfüllbarkeit
Erfüllbarkeitsproblem
semantische Äquivalenz
Erfüllbarkeitsäquivalenz
Substitution
Überführungslemma
gebundene Umbenennung
bereinigte Form
Pränexform
Skolemform
Klauselform
freie Variablen
Herleitung Klauselform
Herbrand-Universum
Herbrand-Struktur
Herbrand-Modell
Herbrand-Expansion
Grundsubstitution
Grundinstanzen
Gödel-Herbrand-Skolem
Satz von Herbrand
Algorithmus von Gilmore
Unifikator
Unifizierbarkeit
allgemeinster Unifikator
Unifikationssatz
PL Resolution
Lifting Lemma
wiederholtes resolvieren
PL Resolutionssatz
Unerfüllbarkeit/Erfüllbarkeit/Gültigkeit

Kommentare

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