Aussagenlogik

Zusammenfassung

Unter Logik versteht man allgemein die Lehre vom folgerichtigen Denken, d. h. vom korrekten Schließen aufgrund gegebener Aussagen. Die Aussagenlogik verfolgt zunächst allgemein das Ziel, Aussagen mittels eines einfachen Formalismus in eine mathematische Form zu übertragen. Die so transformierten Aussagen können dann formal auf ihren Aussagegehalt überprüft, zu neuen Aussagen verknüpft oder Schlussfolgerungen aus ihnen gezogen werden. Mit diesen drei wesentlichen Themenbereichen werden wir uns im Folgenden auseinandersetzen.