master > master: Quiz 3 Ausdrücke in Quantoren etwas ausführlicher behandelt

This commit is contained in:
RD 2020-11-21 23:29:54 +01:00
parent 85cc00f853
commit 1dd3d19736
2 changed files with 3 additions and 3 deletions

Binary file not shown.

View File

@ -4066,11 +4066,11 @@ wobei
&\Longleftrightarrow
&\exists{x\in f^{-1}(B):~}f(x)=y\\
&\Longleftrightarrow
&\exists{x\in X:~}(x\in f^{-1}(B)\,\text{und}\,f(x)=y)\\
&\exists{x:~}(x\in f^{-1}(B)\,\text{und}\,f(x)=y)\\
&\Longleftrightarrow
&\exists{x\in X:~}(f(x)=y\,\text{und}\,x\in f^{-1}(B))\\
&\exists{x:~}(x\in X\,\text{und}\,f(x)\in B\,\text{und}\,f(x)=y)\\
&\Longleftrightarrow
&\exists{x\in X:~}(y=f(x)\,\text{und}\,f(x)\in B)\\
&\exists{x\in X:~}(f(x)\in B\,\text{und}\,f(x)=y)\\
&\Longleftrightarrow
&\exists{x\in X:~}(y=f(x)\,\text{und}\,y\in B)\\
&\Longleftrightarrow