Ing Mathematik: Quantoren

Aus Wikibooks
Zur Navigation springen Zur Suche springen
Wikibooks buchseite.svg Zurück zu Logisches Schließen | One wikibook.svg Hoch zu Gesamtinhaltsverzeichnis | Wikibooks buchseite.svg Vor zu Mengenlehre


In diesem Kapitel widmen wir uns den verschiedenen Quantoren und ihren Kombinationen. Mathematische Sätze und Definitionen werden oft durch Quantoren abgekürzt, statt sie in Worte zu fassen.

Prädikate[Bearbeiten]

Die betrachteten Objekte (Individuen) werden zu einem Bereich, dem Individuenbereich zusammengefasst. Die Eigenschaften der Individuen und die Beziehungen zwischen diesen werden als Prädikate oder Attribute bezeichnet. Die Stellenzahl eines Prädikates ist gleich der Anzahl der Variablen.

Beispiel:

Individuenbereich: Menge der natürlichen Zahlen .

1-stelliges Prädikat: n ist eine Primzahl.

Existenzquantor[Bearbeiten]

Der Existenzquantor wird auch Partikularisator genannt und mit dem Zeichen charakterisiert.

bedeutet, dass es mindestens ein x gibt, für das das Prädikat P(x) wahr ist.

bedeutet, dass es genau ein x gibt, für das das Prädikat P(x) wahr ist.

Beispiel:

P(x): Die Zahl x ist eine Primzahl.

: Es gibt mindestens eine Zahl x, die eine Primzahl ist.

Allquantor[Bearbeiten]

Der Allquantor wird auch Generalisator genannt und mit dem Zeichen charakterisiert.

bedeutet, dass für alle x das Prädikat P(x) wahr ist.

Beispiel:

P(x): Die Zahl x ist eine Primzahl.

: Alle Zahlen sind Primzahlen.

Das ist natürlich eine falsche Aussage.

Einige Regeln[Bearbeiten]

Negation[Bearbeiten]

Beispiel:

P(x): Der Feldhase x ist 100kg schwer.

: Es gibt keinen 100kg schweren Feldhasen.

: Alle Feldhasen sind nicht 100kg schwer.

Mit etwas Phantasie kann man erkennen, dass beide Aussagen gleichwertig sind.


Beispiel:

P(x): Der Feldhase x ist 100kg schwer.

: Nicht alle Feldhasen sind 100kg schwer.

: Es gibt mindestens einen Feldhasen der nicht 100kg schwer ist.

Aneinanderreihung von Quantoren[Bearbeiten]

aber


Wikibooks buchseite.svg Zurück zu Logisches Schließen | One wikibook.svg Hoch zu Gesamtinhaltsverzeichnis | Wikibooks buchseite.svg Vor zu Mengenlehre