Grundzüge der theoretischen Logik |
Common terms and phrases
1-gültig A V B A₁ Abkürzung ableitbar Ableitungsregeln Abtrennungsregel allgemeingültige Formel allgemeingültigen Ausdrücke Allzeichen äquivalent Aussage Aussageformen Aussagenkalkül Aussagenlogik Aussagenvariable AVFx Axiomatik Axiome Axiomensystem B₁ Bedeutung beiden Beispiel beliebige Bereich bestimmte Beweis Beziehung definiert Disjunktion Disjunktionsglied disjunktive Normalform Eigenschaft Einsetzung Element enthält entsprechenden entsteht ergibt erhält Ersetzung Ersetzungsregel ersten Existenzzeichen F₁ Fall falsch ferner folgenden Form freien Individuenvariablen freien Variablen Gegenstände gibt gleichen Grundformeln gültig heißt herleitbare Formel Herleitung Hilfe Individuen Individuenbereich Individuenprädikat intuitionistisch Kalkül Kapitel Klasse Klassenkalküls Klassenvariablen konjunktive Normalform Kontradiktion läßt Leerstellen Logik logischen Mathematik Menge Mengenlehre muß natürlichen Zahlen negierte Ø₁ Oberformel P₁ Prädikat Prädikatenkalkül Prädikatenprädikate Prädikatenvariable Prädikatzeichen Primformel Primzahl Quantoren reellen Zahlen Regel richtig Satz symbolische Tautologie U₁ unnegiert unserer Unterformel Voraussetzung vorkommen Wahrheitswert Weise x₁ Y₁ Zeichen zunächst zwei zweistellige α₁