StEOP
Die Relation $R$ auf $\mathbb{Z}$, definiert durch
\[
a\mathrel{R}b\quad:\Leftrightarrow\quad (\exist n \in \mathbb{Z}:2a=2b+3n)
\] ist:
antisymmetrisch
symmetrisch
reflexiv
transitiv
StEOP
Die Relation $R$ auf $\Z$, definiert durch \[n\mathrel{R}m\quad:\Leftrightarrow\quad (n-1)^2\leq(m-1)^2\] ist:
symmetrisch
reflexiv
eine Totalordnung
antisymmetrisch
transitiv
StEOP
Welche der folgenden Abbildungen sind surjektiv?
$\mathbb{Z} \to\mathbb{Z}$, $n\mapsto(n+1)(n-1)$
$\mathbb{Z}^2 \to \mathbb {Z}$, $(n,m)\mapsto2n+3m$
$\mathbb{Z} \to \mathbb{Z}$, $n\mapsto(-1)^n\cdot n$
$ \mathbb{Z} \to \mathbb{Z}, n\mapsto2n+3$
StEOP
Für jede injektive Abbildung $f\colon X\to Y$ gilt:
$\forall x_1,x_2\in X:f(x_1)\neq f(x_2)$
$\neg\exists x_1,x_2\in X:(x_1\neq x_2)\land(f(x_1)=f(x_2))$
$\forall y\in Y:\exists! x\in X:f(x)=y$
StEOP
Welche der folgenden Aussagen sind zu $p\Rightarrow q$ äquivalent?
$(\neg q)\Rightarrow(\neg p)$
$p\land(\neg q)$
$(\neg p)\Rightarrow(\neg q)$
$(\neg p)\lor q$
×