Quantoren
Als Abk¨urzung f¨ur die Formulierungen
”es gibt . . . “,
”f¨ur alle . . . “
werden der Existenzquantor ∃und der Allquantor∀ verwendet. Diese Quantoren werden h¨aufig in Verbindung mit AussagenA(p) benutzt, die von einem Parameter p aus einer MengeP abh¨angen.
Schreibweise Bedeutung
∃p∈P : A(p) es gibt mindestens ein p ausP, f¨ur das A(p) wahr ist
∀p∈P : A(p) f¨ur alle p ausP ist A(p) wahr
1 / 3
Bei der Negation der beiden Aussagentypen vertauschen sich die Quantoren:
¬ ∃p ∈P : A(p)
= ∀p∈P : ¬A(p)
¬ ∀p ∈P : A(p)
= ∃p∈P : ¬A(p)
Gebr¨auchlich ist ebenfalls die Schreibweise ∃! f¨ur die Formulierung
”es gibt genau ein . . . “.
2 / 3
Beispiel
Negation des Kriteriums f¨ur die Konvergenz einer Folgea1,a2, . . .gegen 0:
∀ε >0 ∃nε ∀n∈N: n >nε =⇒ |an|< ε
Negation durch Negieren der Kernaussage und Ersetzen der Quantoren,
∃ ↔ ∀
Ersetzen der Implikation (A =⇒ B = ¬A∨B) und Anwendung der De Morganschen Regel (¬(A∨B) = ¬A∧ ¬B)
¬(n>nε =⇒ |an|< ε) =¬(n≤nε∨ |an|< ε) =n>nε∧ |an| ≥ε negierte Aussage:
∃ε >0 ∀nε ∃n∈N: n>nε∧ |an| ≥ε Vereinfachung: ∃ε >0 : |an| ≥εf¨ur unendlich vielen∈N
3 / 3