Zusammenfassung
In § 85 erkannten wir: nicht jede →-Wahrform ist beweisbar aus den bloßen →-Axiomen des Frege-Łukasiewiczschen-Axiomensystems (S. 204); es gibt vielmehr reine Implikationsformen, die zu ihrem Beweis außerdem etwa das Axiom FL 1, das die Negation einbezieht, oder aber das weniger durchsichtige Axiom FL 10 (S. 214) benötigen.
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). Derivative →- und →⌝-Logik. 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_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-94780-3_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-94781-0
Online ISBN: 978-3-642-94780-3
eBook Packages: Springer Book Archive