Ing Mathematik: Quantoren
Aus Wikibooks
Inhaltsverzeichnis |
[Bearbeiten] Prädikate
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.
[Bearbeiten] Existenzquantor
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.
[Bearbeiten] Allquantor
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.
[Bearbeiten] Einige Regeln
[Bearbeiten] Negation
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.
[Bearbeiten] Aneinanderreihung von Quantoren
aber
