StEOP
Die Aussage $(p\land(q\lor r))\Leftrightarrow((p\land q)\lor(p\land r)$ ist:
eine Tautologie
eine Kontradiktion
weder eine Tautologie noch eine Kontradiktion
StEOP
Welche der folgenden Aussagen sind wahr?
$\forall p\in\mathbb{P}: \forall a,b\in\Z:(p\mid ab\land p\nmid a)\Rightarrow(p\mid b)$
$\forall a\in\Z:(3\nmid a\lor 7\nmid a)\Rightarrow42\nmid a$
$\forall x\in\mathbb{Q}:x\leq3\Rightarrow x^2\leq9$
$\exists! n\in\N:n^2=4$
$\forall n,m \in \Z:(n \mid m \land m\mid n) \Rightarrow n=m$
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$
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:
transitiv
reflexiv
symmetrisch
antisymmetrisch
StEOP
Welche der folgenden Mengengleichheiten gelten f\"ur alle Abbildungen $f\colon X\to Y$ und alle Teilmengen $A,B$ von $X$?
$f(A\cup B)=f(A)\cup f(B)$
$f(A\cap B)=f(A)\cap f(B)$
$f(A\setminus B)=f(A)\setminus f(B)$
×