Grundzüge der theoretischen Logik |
Contents
Einführung der logischen Grundverknüpfungen | 1 |
Äquivalenzen Entbehrlichkeit von Grundverknüpfungen | 7 |
Das Prinzip der Dualität | 13 |
Copyright | |
14 other sections not shown
Other editions - View all
Common terms and phrases
Abkürzung ableitbare Formel ableiten Ableitungsregeln Allgemeingültigkeit Allklasse Allzeichen äquivalent Aussagenkalküls Aussagenvariable Aussagenverbindung Axiomatik Axiome Axiomensystem B₁ Behauptung beiden Beispiel beliebige Benutzung Bereich besteht bestimmte Beweis beweisbare Formel bezeichnen Beziehung Darstellung Definition Disjunktion disjunktiven Normalform Eigenschaft Einsetzung Einsetzungsregel engeren Prädikatenkalküls enthält Entscheidungsproblem entsprechend entsteht Erfüllbarkeit ergibt erhält ersetzt ersten Ex₁ falls falsche Aussage folgenden Form freien Variablen Gegenstände Gegenstandsvariablen Gegenteil gemäß gibt gleich Grundaussagen Grundformeln heißt identischen Formeln individuelle Prädikate Individuenbereich Kalkül Klammerzeichen Klasse Konjunktionsglied konjunktive Normalform läßt Leerstellen Logikkalkül logische Formel logischen Math Mathematik Menge Mengenlehre muß Negation Prädikatenprädikat Prädikatenvariable Prädikatzeichen Präfix Prämissen rationalen Zahlen reellen Zahlen richtige Aussage richtige Formel Satz Sc Q Schluß Schlußschema Seinszeichen Stelle Stufenkalkül Theoretische Logik Umformung unserem Kalkül unserer Vereinigungsmenge verschiedene vorkommen Wahrheitswert Weise weiter Wert Widerspruchsfreiheit wieder Wirkungsbereich wollen X₁ Y₁ Zeichen zunächst zutrifft zwei zweiten Stufe