Logik
- Logik
- Skolem Normalform
- Skolemisierung
- Erfüllbarkeitsreduktion
- Erfüllbarkeitsäquivalenz prädikatenlogische Formeln
- Existenzquantor
- Allquantor
- Quantor
- Universelle Formel
- Existenzielle Formel
- Satz prädikatenlogische Formel äquivalent zu PNF
- Pränexe Normalform
- Äquivalenz prädikatenlogische Formeln
- Folgerungsbeziehungsproblem der Prädikatenlogik
- Erfüllbarkeitsproblem der Prädikatenlogik
- Erfüllbarkeit (Aussagenlogik)
- Erfüllbarkeitsproblem der Aussagenlogik
- Satz Unerfüllbar gdw bot herleitbar
- Prädikatenlogik
- Satz Formel aus Menge herleitbar gdw Menge und Negation der Formel unerfüllbar
- Prädikatenlogische Folgerungsbeziehung
- Folgerungsbeziehung
- Aussagenlogische Folgerungsbeziehung
- Substitution
- Grund-atomare prädikatenlogische Formel
- Atomare prädikatenlogische Formel
- Interpretation von prädikatenlogische Formeln
- Variablenbelegungsveränderung
- Zusammenfassung Syntax Prädikatenlogik
- Term
- Prädikatenlogische Formel
- Interpretation von Termen
- Struktur
- Grundterm
- Signatur
- Relationale Signatur
- Algebraische Signatur
- Satz Vollständigkeit der aussagenlogischen Resolution
- Resolutionsbeweis
- Resolvente
- Aussagenlogischen Formel
- Distributivgesetz
- Kommutativität der Disjunktion
- Äquivalenzumformung
- Aussagenlogische Gesetze
- Ersetzungslemma
- Äquivalente Substitution
- Kommutativität der Konjunktion
- Äquivalenz aussagenlogischer Formeln
- Aussagenlogik
- Aussagenlogische Variable
- Boolescher Wert
- Disjunktionsterm
- Erfüllbarkeitsproblem für quantifizierte boolesche Formeln
- Junktor
- Konjunktion
- Konjunktionterm
- Konjunktive Normalform
- Variablen einer aussagenlogischen Formel
- Lemma Tautologie gdw neg unerfüllbar
- Unerfüllbarkeit (Aussagenlogik)
- Tautologie
- 1-Belegung
- 0-Belegung
- Knappe Variablenbelegung
- Auswertung einer aussagenlogischen Formel unter einer Belegung
- Variablenbelegung
- Passende Variablenbelegung
- Wahrheitswerte
- Satz Variablen und Junktoren
- Satz 3SAT is poly reduzierbar auf CLIQUE
- Strukturelle Induktion
- Literal