Chapter 2: Problem 20
Beweisen Sie das Distributivgesetz: $$ M_{1} \cup\left(M_{2} \cap M_{3}\right)=\left(M_{1} \cup M_{2}\right) \cap\left(M_{1} \cup M_{3}\right) $$
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 2: Problem 20
Beweisen Sie das Distributivgesetz: $$ M_{1} \cup\left(M_{2} \cap M_{3}\right)=\left(M_{1} \cup M_{2}\right) \cap\left(M_{1} \cup M_{3}\right) $$
All the tools & learning materials you need for study success - in one app.
Get started for free
Die Menge \(A_{4}\) hat vier Elemente, die Mengen \(B_{3}\), \(B_{4}\) und \(B_{5}\) haben entsprechend drei, vier und fünf Elemente. Überlegen Sie jeweils, ob es Abbildungen $$ \begin{aligned} &f_{43}: A_{4} \rightarrow B_{3} \\ &f_{44}: A_{4} \rightarrow B_{4} \\ &f_{45}: A_{4} \rightarrow B_{5} \end{aligned} $$ geben kann, die (a) injektiv, aber nicht surjektiv, (b) surjektiv, aber nicht injektiv, (c) bijektiv sind.
Es seien \(M_{1}\) und \(M_{2}\) Teilmengen von \(X\). Beweisen Sie die einfachste Form der Regeln von de Morgan, wobei wir \(C_{X}\) als Bezeichnung für die Komplementbildung bezüglich \(X\) verwenden: $$ \begin{aligned} &C_{X}\left(M_{1} \cap M_{2}\right)=C_{X}\left(M_{1}\right) \cup C_{X}\left(M_{2}\right) \\ &C_{X}\left(M_{1} \cup M_{2}\right)=C_{X}\left(M_{1}\right) \cap C_{X}\left(M_{2}\right) \end{aligned} $$ Stellen Sie diesen Sachverhalt mittels Venn-Diagrammen dar.
Beweisen Sie die Abtrennregel (modus ponens): $$ (A \wedge(A \Rightarrow B)) \Rightarrow B $$
Beweisen Sie die Äquivalenzen: $$ \begin{aligned} (A \vee B) & \Leftrightarrow \neg(\neg A \wedge \neg B) \\ (A \wedge B) & \Leftrightarrow \neg(\neg A \vee \neg B) \\ (A \Rightarrow B) & \Leftrightarrow((\neg A) \vee B) \end{aligned} $$
Wie viele unterschiedliche binäre, also zwei Aussagen verknüpfende Junktoren gibt es?
What do you think about this solution?
We value your feedback to improve our textbook solutions.