StEOP
Welche der folgenden Mengengleichheiten gelten für alle Mengen $X$, $Y$ und $Z$?
$(X\cup Y)\times Z=(X\times Z)\cup(Y\times Z)$
$P(X\cup Y)=P(X)\cup P(Y)$
$(X\setminus Y)\setminus Z)=X\setminus(Y\setminus Z)$
$X\setminus(Y\cap Z)=(X\setminus Y)\cup(X\setminus Z)$
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)$
$\forall y\in Y:\exists! x\in X:f(x)=y$
$\neg\exists x_1,x_2\in X:(x_1\neq x_2)\land(f(x_1)=f(x_2))$
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
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 Tautologien?
$((p\Rightarrow q)\land q)\Rightarrow p$
$((p\Rightarrow q)\land p)\Rightarrow q$
$((p\Rightarrow q)\land\neg q)\Rightarrow\neg p$
$((p\Rightarrow q)\land\neg p)\Rightarrow\neg q$
×