Die Anatomie einer Aussage

Aussagen, Quantoren und Implikationen · Abschnitt 1 von 64

Intuition

Warum so genau sprechen?

Stell dir vor: Du willst zeigen, dass jede gerade Zahl gerade bleibt, wenn du 2 addierst. Ohne klare Worte für „jede“, „gerade“ und „folgt daraus“ rutscht der Beweis. Beweissprache ist das Werkzeug, mit dem du Ideen festhältst.

Gelöstes Beispiel

Vier Markierungen

Definitionsbereich
Quantoren
Voraussetzung
Behauptung

Gelöstes Beispiel

Quantoren wechseln

Stell dir vor: Die Verneinung von „Alle Objekte haben $P$ “ lautet „Es gibt ein Objekt ohne $P$ “ – Quantoren wechseln.

Gelöstes Beispiel

Ein Treffer widerlegt alle

Eine Allaussage brauchst du für jedes Objekt zu zeigen; zum Widerlegen genügt ein zulässiges Gegenbeispiel.

Gelöstes Beispiel

Der Pfeil hat eine Richtung

Aus $P\Rightarrow Q$ folgt nicht automatisch $Q\Rightarrow P$ . Die Umkehrung muss separat geprüft werden.