Zusammenfassung
Nach Satz 27 (§ 38) bilden die Verknüpfungen ∨ und ⌝ eine Basis der aussagenlogischen Verknüpfungen. Es mÜßte möglich sein, auf diesen beiden Verknüpfungen allein eine normaldeduktive Logik aufzubauen, sobald das im Grundschluß auftretende Zeichen → als definiertes Zeichen dazugenommen wird. Wir wollen ein derartiges Kodifikat kennenlernen. Da es von Whitehead und Russell (mit noch einem inzwischen als abhängig erkannten Axiom) angegeben wurde, wollen wir seine beweisbaren Aussagenformen und seine Definitionen durch ein WR kennzeichnen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1959 Springer-Verlag OHG. Berlin · Göttingen · Heidelberg
About this chapter
Cite this chapter
Schmidt, H.A. (1959). Normaldeduktive alternäre ∨⌝-Aussagenlogik. In: Mathematische Gesetze der Logik I. Die Grundlehren der Mathematischen Wissenschaften, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-94780-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-94780-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-94781-0
Online ISBN: 978-3-642-94780-3
eBook Packages: Springer Book Archive