Zusammenfassung
Dieses Kapitel soll Ihnen eine leichtgefaßte Einführung in die (scharfe, klassische) Aussagenlogik vermitteln. Unser Ziel ist der logische Schluß. Die dabei auftretenden Formen bilden später die Grundlage zur Fuzzifikation. Deshalb ist es nützlich und notwendig, die prinzipiellen Denk- und Vorgehensweisen zunächst am klassischen Modell zu studieren.
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.
Literatur
Diese Benennung sowie die Junktorenbezeichnung entspricht DIN 5473 (neue Fassung von 1992)
Einen schnellen Überblick gibt: M.Kaupp, R.Tutschka (1990). Vgl. auch 7.2.
Ich nehme einmal an, daß manche unter Ihnen sich über dieses Ergebnis wundern werden. Sie haben es nicht erwartet. Das zeigt aber doch, daß logische Folgerungen durchaus auch zu nicht-trivialen Aussagen führen können (und damit einen gewissen Erkenntniswert besitzen).
“barbara” ist ein lateinisches Kunstwort für den bekanntesten Syllogismus des ARISTOTELES, bei dem a, b, c für Allaussagen (mit dem Allquantor versehene Aussagen der Prädikatenlogik) stehen.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Böhme, G. (1993). Klassische Aussagenlogik. In: Fuzzy-Logik. Fuzzy-Logik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-86785-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-86785-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56658-8
Online ISBN: 978-3-642-86785-9
eBook Packages: Springer Book Archive