Definitionen_Index
Index
- 3-COL
- Alphabet der Aussagenlogik
- Argument
- Aussagenvariablen
- Distributivität
- Elemente einer Logik
- Erfüllbarkeit, Unerfüllbarkeit und Allgemeingültigkeit
- Erfüllbarkeit
- Ersetzungslemma
- Exklusives Oder
- Folgerung
- Große Disjunktion und Konjunktion
- Induktive Definition der Aussagenlogik
- Induktive Menge
- Koinzidenzlemma
- Literal
- Modell
- Morgansche Regel
- Präferenzregeln
- Substitution
- Substitutionslemma
- Syntaxbaum
- Tautologie
- tertium non datur
- Unterformeln
- Variablen für 3-Färbbarkeit
- Variablen für Sudoku
- Wahrheitsbelegung
- Wahrheitswertfunktion
- Äquivalenz