Advertisement

Erweiterungen der Logik

  • Paul Lorenzen
Part of the Die Grundlehren der mathematischen Wissenschaften book series (GL, volume 78)

Zusammenfassung

Bei der Einführung der Unableitbarkeit und des Inversionsprinzips spielte die Ungleichheit von Figuren schon eine entscheidende Rolle. Wir haben daher noch eine systematische Untersuchung der Gleichheit und Ungleichheit von Figuren durchzuführen. Es sei dazu zunächst einiges über die Aussagen eines beliebigen Kalküls gesagt. Um einen Kalkül K zu definieren, haben wir stets als erstes die Atome des Kalküls in einer Liste: u1, u2, ..., u n aufzuführen. Die Aussagen des Kalküls sind dann die Zeichen, die aus diesen Atomen zusammengesetzt sind.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin · Heidelberg 1969

Authors and Affiliations

  • Paul Lorenzen
    • 1
  1. 1.Universität ErlangenDeutschland

Personalised recommendations