Quelltext der Seite Mathe für Nicht-Freaks: Logik und Aussagen

← Mathe für Nicht-Freaks: Logik und Aussagen
Du bist aus dem folgenden Grund nicht berechtigt, die Seite zu bearbeiten:
Deine IP-Adresse befindet sich in einem Bereich, der in allen Wikimedia Foundation-Wikis gesperrt ist.
Die Sperre wurde durchgeführt von ‪EPIC‬. Die angegebene Begründung ist Open proxy/Webhost: See the help page if you are affected.
Beginn der Sperre: 09:48, 2. Jul. 2024
Ablauf der Sperre: 09:48, 2. Jul. 2025
Deine aktuelle IP-Adresse ist 206.189.44.186. Der gesperrte Bereich ist 206.189.32.0/20.
Bitte füge alle Informationen jeder Anfrage hinzu, die du stellst. Wenn du glaubst, dass die Sperre ein Fehler ist, kannst du zusätzliche Informationen und Hilfestellungen in der globalen Richtlinie „Keine offenen Proxys“ finden.
Anderenfalls stelle bitte eine Anfrage im Meta-Wiki, um die Sperre zu diskutieren. Du kannst auch eine E-Mail an die Steward-VRT-Queue per stewards@wikimedia.org inklusive aller obigen Details schicken.
Du kannst jedoch den Quelltext dieser Seite betrachten und kopieren:
{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

== Warum Logik für die Mathematik wichtig ist ==
Logik ist die Sprache der Mathematik. In dieser Sprache werden mathematische Sätze formuliert und Beweise geführt. Sie genügt der Anforderung der Mathematik, dass alle in ihr formulierten Ausdrücke eine klare und scharf definierte Bedeutung haben. Dabei ist das richtige Schließen aus logischen Ausdrücken nicht immer so einfach, wie man zunächst annimmt. Oftmals verführt uns unsere Intuition zu Schlüssen, die sich beim genaueren Hinschauen als falsch herausstellen. Der richtige Umgang mit der Logik ist einer der Schlüssel, um Mathematik zu verstehen und zu beherrschen. Deswegen beschäftigen wir uns in den folgenden Kapiteln mit logischen Ausdrücken und wie man mit ihnen umgeht.

=== Mehrdeutigkeit natürlicher Sprachen ===

Zunächst möchten wir an einigen Beispielen zeigen, warum die deutsche Sprache (oder andere natürliche Sprachen) nicht geeignet ist, um sich allein in ihr über mathematische Problemstellungen zu unterhalten.

''Frage:'' Welche Bedeutung haben die folgenden Aussagen?

''Aussage:'' Jeder Mann liebt eine Frau.
# Jeder Mann liebt mindestens eine Frau.
# Jeder Mann liebt genau eine Frau.
# Jeder Mann liebt dieselbe Frau.

''Aussage:'' In der Liste finden Sie Ihre Adresse oder Ihre Handynummer.
# In der Liste finden Sie Ihre Adresse und/oder Ihre Handynummer.
# In der Liste finden Sie entweder Ihre Adresse oder Ihre Handynummer.

''Aussage:'' Ich sehe Robert auf dem Dach mit dem Fernglas.
# Ich bin auf dem Dach und sehe durch mein Fernglas Robert.
# Ich sehe durch mein Fernglas Robert, der auf dem Dach ist.
# Ich sehe Robert, der auf dem Dach ist und ein Fernglas hat.
# Ich sehe Robert auf dem Dach, das mit einem Fernglas ausgestattet ist.

Du siehst, dass viele Sätze unserer Alltagssprache (beabsichtigt oder unbeabsichtigt) mehrdeutig sind. Sicherlich kennst du noch weitere Beispiele für Sätze, die mehrdeutig sind. Überlege, wie oft es dir schon passiert ist, dass dich jemand missverstanden hat.

Wegen dieser Mehrdeutigkeiten sind natürliche Sprachen zur Präzisierung in der Mathematik nicht gut geeignet. Stelle dir vor, Mathematiker hätten eine unterschiedliche Auffassung über mathematische Objekte, weil die ihnen zugrunde liegende Definition auf unterschiedliche Weise verstanden werden kann. Ein sinnvolles mathematisches Arbeiten ist dann schlicht nicht möglich. Deswegen ist es wichtig, einen Werkzeugsatz zu haben, mit dem ganz klar definierte Aussagen formuliert werden können und in dem es klare Regeln gibt, wie man aus bestehenden Aussagen neue herleitet. Dieses System ist für die Mathematik die Logik.

== Klassische Logik ==
Die Mathematik benutzt die „klassische Logik“. Der Begriff ''klassisch'' hat hierbei keinen zeitlichen Charakter. Die klassische Logik ist alles andere als veraltet und kann vielmehr als „Standardlogik“ angesehen werden. Sie definiert sich über folgende zwei Eigenschaften:

* Prinzip der Zweiwertigkeit: Eine Aussage ist entweder ''wahr'' oder ''falsch''.
* Extensionalitätsprinzip: Der Wahrheitswert einer zusammengesetzten Aussage ist eindeutig durch die Wahrheitswerte ihrer Teilaussagen bestimmt.

Trifft eine der beiden Eigenschaften der klassischen Logik nicht zu, spricht man von [[:w:Nichtklassische Logik|nichtklassischer Logik]]. Ein Beispiel hierfür ist die [[:w:Mehrwertige Logik|mehrwertige Logik]], bei der das Prinzip der Zweiwertigkeit aufgegeben wird. Weite Teile der Mathematik nutzen die klassische Logik als Grundlage.

Die heutige Form der Logik wurde in der Mitte des 19. Jahrhunderts entwickelt, als die Mathematiker begannen, sich mit den [[w:Grundlagen der Mathematik|Grundlagen der Mathematik]] zu beschäftigen. Sie entwickelte sich schnell zu einem Teilgebiet der Mathematik, der sogenannten „Mathematischen Logik“, und liefert heute die Sprache, in der Mathematik betrieben wird. Wir werden die Logik schrittweise behandeln und die traditionellen Teilbereiche ansprechen:

* Aussagenlogik – Die Aussagenlogik beschäftigt sich mit Aussagen und der Verknüpfung von Aussagen zu neuen Aussagen.
* Prädikatenlogik – Die Prädikatenlogik ist eine Erweiterung der Aussagenlogik. Sie ermöglicht die Untersuchung der inneren Struktur einer Aussage.
* Klassenlogik – Die Klassenlogik ist eine Erweiterung der Prädikatenlogik um Begriffe der Mengenlehre. Sie ist die Sprache der Mathematik.

== Grundlegende Begriffe ==
=== Die Aussage {{Anker|Aussage}} ===
Ein grundlegender Begriff der Logik ist die <dfn>Aussage</dfn>:

{{:Mathe für Nicht-Freaks: Vorlage:Definition
 |titel=vorläufige Beschreibung
 |definition=
Eine ''Aussage'' ist ein aus Wörtern und/oder mathematischen Zeichen aufgebauter Ausdruck, von dem es möglich und sinnvoll ist zu sagen, dass dieser Ausdruck wahr oder falsch ist.}}

Aussagen sind damit Ausdrücke, denen man sinnvoll einen Wahrheitswert zuordnen kann. Man kann sie also für die Punkte im folgenden Satzfragment einsetzen:

{{-|''Ist es wahr, dass gilt: …?''}}

Der Ausdruck „5 ist eine Primzahl“ ist beispielsweise eine Aussage, weil die Frage „Ist es wahr, dass gilt: 5 ist eine Primzahl?“ sinnvoll gestellt und beantwortet werden kann. Demgegenüber ist die Frage „Ist 5 eine Primzahl?“ keine Aussage, da der Ausdruck „Ist es wahr, dass gilt: Ist 5 eine Primzahl? ?“ keine sinnvolle Frage ist (beachte das doppelte Fragezeichen). Damit folgt, dass Fragen, Satzfragmente und Befehle keine Aussagen sind, da ihnen nicht sinnvoll ein Wahrheitswert zugeordnet werden kann.

Sprachliche Gebilde wie „<math>x\ge 5</math>“, in denen freie Variablen vorkommen, sind keine Aussagen, sondern ''Aussageformen''. Dies liegt daran, dass bei solchen Ausdrücken der Wahrheitswert von der Belegung der Variablen abhängt. So ist „<math>x\ge 5</math>“ für die Belegung <math>x=42</math> wahr und für <math>x=1</math> falsch und es kann deshalb nicht eindeutig entschieden werden, ob dieser Ausdruck wahr oder falsch ist. Auch wenn der Ausdruck unabhängig von der Belegung der freien Variablen immer wahr ist, handelt es sich um eine Aussageform. So ist der Ausdruck <math>x+x=2x</math> eine Aussageform. Als Oberbegriff von Aussagen und Aussageformen wird der Begriff ''Formel'' verwendet.

Es gilt nicht immer, dass Ausdrücke mit Variablen Aussageformen sind. So ist der Ausdruck „Für alle reellen Zahlen <math>x</math> gilt <math>x \ge 5</math>“ eine Aussage und keine Aussageform. Der Grund ist der, dass hier <math>x</math> durch den so genannten Quantor „für alle“ gebunden wird und nicht mehr frei ist. Was genau freie und gebundene Variablen sowie Aussageformen sind, werden wir im Kapitel [[Mathe für Nicht-Freaks: Aussageform und Substitution|„Aussageform und Substitution“]] erklären.

Beachte, dass die obige Definition noch nicht ganz präzise ist. So ist nicht genau geklärt, was ein sinnvoller Ausdruck ist. Meist genügt hier die menschliche Intuition, jedoch kann damit eine gewisse Subjektivität nicht vermieden werden. Für unsere Zwecke reicht aber obige Definition erst einmal. Wir betrachten nur Aussagen, die genau einen der beiden sogenannten Wahrheitswerte „wahr“ oder „falsch“ besitzen. Dies wird „Prinzip der Zweiwertigkeit“ genannt:

{{:mathe für Nicht-Freaks: Vorlage:Definition
 |titel=Prinzip der Zweiwertigkeit
 |definition=
Eine Aussage ist entweder „wahr“ oder „falsch“.
}}

Dabei nutzt man für den Wahrheitswert „wahr“ oftmals das Symbol <math>\mathsf W</math>, <math>w</math> oder <math>1</math>. Für „falsch“ werden die Symbole <math>\mathsf F</math>, <math>f</math> oder <math>0</math> benutzt.

{| class="wikitable"
! Ausdruck !! Ist der Ausdruck eine Aussage? !! Bemerkung
|-
| 10 ist eine gerade Zahl.
| Aussage
| Wahre Aussage
|-
| 5 ist durch 3 ohne Rest teilbar.
| Aussage
| Falsche Aussage
|-
| Zwischen zwei aufeinanderfolgenden Quadratzahlen liegt mindestens eine Primzahl.
| Aussage
| Man nennt diese Aussage die [[w:Legendresche Vermutung|Legendresche Vermutung]]. Bis heute weiß man nicht, ob diese Aussage wahr ist oder falsch.
|-
| Schläfst du schon?
| Keine Aussage
| —
|-
| Geh in die Schule!
| Keine Aussage
| —
|-
| <math>5+4-7x=0</math>
| Aussageform
| Ohne weitere Informationen zu <math>x</math> können wir nichts sagen: Ist <math>x</math> frei wählbar? Wenn ja, muss <math>x</math> eine natürliche, ganze, reelle oder komplexe Zahl sein?
|-
| <math>x>0</math> oder <math>x=0</math> oder <math>x<0</math>
| Aussageform
| Obwohl der Ausdruck für alle reellen Zahlen <math>x</math> wahr ist, ist dieser Ausdruck keine Aussage. Schließlich ist nicht klar, ob <math>x</math> wirklich eine reelle Zahl ist (wie man vermuten könnte). Es gibt nämlich Ordnungen, in denen dieser Ausdruck nicht für alle Objekte wahr ist.
|-
| Boah, Alter, geil Mann …
| Keine Aussage
| —
|}

Aussagen begegnen dir überall in der Mathematik. Alle Sätze, Hilfssätze und Axiome sind als Aussagen formuliert. Wenn du dir einen Beweis anschaust, so ist dieser eine Folge von Aussagen, welche aufeinander aufbauen und in logischen Beziehungen zueinander stehen. Zum Beispiel kann eine Aussage eine Schlussfolgerung aus einer anderen Aussage sein. Dementsprechend ist es für dich als Mathematikstudentin oder -student wichtig, dass du mit Aussagen richtig umgehen kannst, also zum Beispiel die innere Struktur einer Aussage erkennst und sie richtig negieren kannst sowie häufige Fehler im logischen Schlussfolgern vermeidest.

In den Aussagen kommen Ausdrücke wie <math>7</math> oder andere Ziffern, Variable wie <math>x</math> oder zusammengesetzte Ausdrücke wie <math>4 + 5 - 7x</math> vor. Diese Ausdrücke bezeichnen Objekte und werden ''Terme'' genannt. 

<quiz display=simple>
{Welche der folgenden Ausdrücke sind Aussagen?}

{Alle Raben sind weiß.
|type="()"}
+Aussage
-Keine Aussage

{<math>5 + 7</math>
|type="()"}
-Aussage
+Keine Aussage

{<math>5 \ge 7</math>
|type="()"}
+Aussage
-Keine Aussage

{<math>5+7=6</math>
|type="()"}
+Aussage
-Keine Aussage

{Ist <math>5+7=12</math>?
|type="()"}
-Aussage
+Keine Aussage
</quiz>

=== Problematische Ausdrücke ===
Aber Vorsicht: Es gibt Ausdrücke, die auf den ersten Blick wie eine Aussage aussehen, denen aber kein Wahrheitswert zugeordnet werden kann. Einer dieser Ausdrücke ist der auf sich selbst beziehende Satz „Dieser Satz ist falsch“. Ist dieser Satz wahr oder falsch? Zwar macht die Frage Sinn, aber es gibt keine Antwort dazu. Denn egal welchen Wahrheitswert man dieser Aussage zurechnet, man erhält immer einen Widerspruch.

{{:Mathe für Nicht-Freaks: Vorlage:Frage
 |typ=Verständnisfrage
 |frage=Wieso kann dem Ausdruck „Dieser Satz ist falsch“ nicht sinnvoll ein Wahrheitswert zugeordnet werden?
 |antwort=Angenommen der Satz ist wahr. Dann besagt er ja gerade, dass er falsch ist. Beides kann er aber nicht sein. ↯
 
Nehmen wir nun an, der Satz ist falsch. Dann wäre er wahr, denn genau das besagt er ja. Also erhalten wir auch in diesem Fall einen Widerspruch. ↯ 
}}

Dementsprechend handelt es sich bei diesem Ausdruck um keine Aussage.

Problematische Ausdrücke können insbesondere dann auftreten, wenn diese einen Selbstbezug aufweisen. Dieser Selbstbezug ist bereits im obigen Beispiel „Dieser Satz ist falsch“ vorhanden. Ein weiteres Beispiel für einen problematischen Ausdruck ist:

{{Important|„Der nächste Satz ist wahr. Der vorherige Satz ist falsch.“}}

{{:Mathe für Nicht-Freaks: Vorlage:Frage
 |typ=Verständnisfrage
 |frage=Warum ist der Ausdruck „Der nächste Satz ist wahr. Der vorherige Satz ist falsch“ problematisch?
 |antwort=
Wenn der erste Satz wahr ist, so wäre der zweite Satz wahr und damit der erste falsch ↯. Wenn der erste Satz falsch ist, wäre der zweite Satz falsch und damit der erste Satz wahr ↯.
 }}

Solche problematischen Ausdrücke sind neben der Eindeutigkeit ein weiterer Grund, die mathematische Sprache zu präzisieren.

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}
In diesem Artikel verwendete Vorlagen:
Zurück zur Seite Mathe für Nicht-Freaks: Logik und Aussagen.
Abgerufen von „https://de.wikibooks.org/wiki/Mathe_für_Nicht-Freaks:_Logik_und_Aussagen“