Namen- und Sachverzeichnis.
(Die Zahlen geben die Seiten an.)

Ableitung von Regeln und Formeln
im Aussagenkalkül 23{ff.,
im Funktionenkalkül 55ff.

— aller Folgerungen aus gegebenen
Axiomen im Aussagenkalkül 18ff.

Ackermann, W., 66, 81.

Allgemeine Urteile 35, 46.

Allgemeingültigkeit, Problem der 17, 72.

Allzeichen 46, 83.

Anzahlbegriff, logische Einführung des
86ff£.

Äquivalenzen des Aussagenkalküls 5ff.

Aristotelische Logik 37.

Assoziatives Gesetz für logische Summe
und logisches Produkt 6.

Ausdruck, logischer 52.

Aussagenformel, logische 54.

Aussagenkalkül 3.

Aussagenvariable 51.

Axiome des Aussagenkalküls 22.

— des Funktionenkalküls 53.

Behmann, H., 77.

Beispiele für den Gebrauch der Funk-
tionenkalküls 68{ff.

Bernays, P.,.23, 54;, 81.

Beziehungen 45.

Boole, G., 1.

Brentano 8.

Camntorscher Beweis für die Existenz
überabzählbarer Mengen 104.

De Morgan 1.

Distributives Gesetz für logische Ssumme
und logisches Produkt 6.

Dualitätsprinzip 12{f., 62.

Eigennamen 45, 52.
Einsetzungsregel 23, 53.
Eliminationsregel 16, 85.

 

Entbehrlichkeit von logischen Grund-
verknüpfungen 8.

Entscheidungsproblem 17, 72{ff.,. 77ff.,
85.

Entweder-Oder 4.

Erfüllbarkeit, Problem der 17, 73.

Ersetzungsregel 60.

Existenzialzeichen s. Seinszeichen.

Formulaire de Mathematiques 2.
Frg G Z

Funktionen, logische 44.
Funktionenkalkül 43.
Funktionsvariable 51.

Gegenteil, Bildung des,
im Aussagenkalkül 12;
im Funktionenkalkül 61.

Grundverknüpfungen, logische 3.

Hilbert, D., 2, 23, 66.

Identität, Definition der 83, 103.

Immer richtige Aussagenverbindungen
£1:

Individuelle Zeichen 51.

Individuenvariable 51.

Induktion, vollständige 83.

Kant, I., 43.

Klammerzeichen 46.

Klassenkalkül 36.

Kombinierter Kalkül 36.

Kommutatives Gesetz für _ logische
Summe und logisches Produkt 6.

Konstituenten 15.

Konvergenz, gewöhnliche und gleich-
mäßige 51.

Leibniz 1.
Logische Formeln 54.
Löwenheim, L. 77, 80, 81.