StEOP
Sind $f\colon X\to Y$ und $g\colon Y\to Z$ zwei Abbildungen, sodass $g\circ f$ bijektiv ist, dann muss auch gelten:
$f$ ist injektiv.
$f$ ist surjektiv.
$g$ ist surjektiv.
$g$ ist injektiv.
StEOP
Welche der folgenden Mengengleichheiten gelten f\"ur alle Abbildungen $f\colon X\to Y$ und alle Teilmengen $A,B$ von $X$?
$f(A\cap B)=f(A)\cap f(B)$
$f(A\setminus B)=f(A)\setminus f(B)$
$f(A\cup B)=f(A)\cup f(B)$
StEOP
Welche der folgenden Aussagen sind zu $p\Rightarrow q$ äquivalent?
$p\land(\neg q)$
$(\neg q)\Rightarrow(\neg p)$
$(\neg p)\Rightarrow(\neg q)$
$(\neg p)\lor q$
StEOP
Welche der folgenden Aussagen sind wahr?
$\forall a,b\in\Z:\exists n\in\N:a+n=b\lor b+n=a$
$\forall a,b,c\in\Z:ac=bc\Rightarrow a=b$
$\forall a,b\in\Z:\exists c\in\Z:a\mid c\land b\mid c$
$\forall a,b,c\in\Z:(a\mid c\land b\mid c)\Rightarrow ab\mid c$
$\forall m,n\in\N:mn=1\Rightarrow(m=1\land n=1)$
StEOP
Die Aussage $(p\land(q\lor r))\Leftrightarrow((p\land q)\lor(p\land r)$ ist:
eine Kontradiktion
eine Tautologie
weder eine Tautologie noch eine Kontradiktion
×
![]()