1Einleitung (in Arbeit)

Einer der Grundbausteine, auf denen die modernen Kommunikations- und Informationstechnologien beruhen, ist Logik. Daher ist es höchst empfehlenswert, zumindest einen groben Blick auf die mathematische Logik zu werfen.

In diesem Kurs lernst du, dass eine Aussage nicht zwingend immer nur zum Deutschunterricht oder einer Gerichtsverhandlung gehört. Du untersuchst, ob Kombinationen oder Veränderungen von Aussagen gültig sind. Dieser Kurs bietet dabei nur einen kurzen und einfachen Einstieg in die einfachen Bausteine.

Insbesondere wirst du in diesem Kurs zunächst nur Aussagen kennenlernen, das sind Behauptungen, deren Wahrheitsgehalt feststellbar ist.

In manchen Situationen ist das nicht ausreichend: willst du z.B. feststellen, ob der "Schluss" $x<5\Rightarrow x<6$ gültig ist, musst du das Konzept der Aussageformen verwenden - du kannst ja nicht feststellen, ob $x<5$ eine wahre Aussage ist, weil darin die Variable $x$ enthalten ist.

Eine kurze Einführung in Aussageformen findest du in den letzten Kapiteln des Kurses, eine ausführliche Diskussion dieses Themas in Grundlagen der Mathematik.

Hier lernst du, verschiedene Aussagen zu kombinieren und den Wahrheitsgehalt der Kombination abhängig von den Wahrheitsgehalten der einzelnen Teilaussagen zu bestimmen.