Mo Logo [Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] Englische Flagge

Mathematik-Online-Lexikon:

Quantoren


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Übersicht

Als Abkürzung für die Formulierungen

,,es gibt ...``,     ,,für alle ...``
werden der Existenzquantor $ \exists$ und der Allquantor $ \forall$ verwendet. Diese Quantoren werden häufig in Verbindung mit Aussagen $ A(p)$ benutzt, die von einem Parameter $ p$ aus einer Menge $ P$ abhängen.

Schreibweise Bedeutung
$ \exists\,p\in P:\ A(p)$ es gibt mindestens ein $ p$ aus $ P$, für das $ A(p)$ wahr ist
$ \forall\,p\in P:\ A(p)$ für alle $ p$ aus $ P$ ist $ A(p)$ wahr

Bei der Negation der beiden Aussagentypen vertauschen sich die Quantoren:

$\displaystyle \lnot\big( \exists\,p\in P:\ A(p) \big)$ $\displaystyle =$ $\displaystyle \forall\, p\in P:\ \lnot A(p)$  
$\displaystyle \lnot\big( \forall\,p\in P:\ A(p) \big)$ $\displaystyle =$ $\displaystyle \exists\, p\in P:\ \lnot A(p)$  

Gebräuchlich ist ebenfalls die Schreibweise $ \exists!$ für die Formulierung ,,es gibt genau ein ...``.

Beispiel:


[Verweise]

  automatisch erstellt am 19.  8. 2013