Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Arbeitsblatt 4/latex
\setcounter{section}{4}
\zwischenueberschrift{Die Pausenaufgabe}
\inputaufgabe
{}
{
Negiere die Aussage \anfuehrung{Alle Kinder essen in der Pause ein Butterbrot oder einen Apfel}{} durch eine Existenzaussage.
}
{} {}
\zwischenueberschrift{Übungsaufgaben}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {LucySonnenschein2.png} }
\end{center}
\bildtext {Lucy Sonnenschein} }
\bildlizenz { LucySonnenschein2.png } {} {Bocardodarapti} {Commons} {CC-by-sa 4.0} {}
\inputaufgabegibtloesung
{}
{
Wir betrachten den Satz \anfuehrung{Lucy Sonnenschein tanzt auf allen Hochzeiten}{.} Negiere diesen Satz durch eine Existenzaussage.
}
{} {}
\inputaufgabegibtloesung
{}
{
Wir betrachten den Satz \anfuehrung{Diese Vorlesung versteht keine Sau}{.} Negiere diesen Satz durch eine Existenzaussage.
}
{} {}
\inputaufgabe
{}
{
Man formalisiere die folgenden Aussagen, indem man geeignete Prädikate erklärt. Man gebe die Negation der Aussagen \zusatzklammer {umgangssprachlich und formal} {} {} an. \aufzaehlungvier{Alle Vögel sind schon da. }{Alle Wege führen nach Rom. }{Faulheit ist aller Laster Anfang. }{Alle Menschen werden Brüder, wo dein sanfter Flügel weilt. }
}
{} {}
\inputaufgabe
{}
{
Formuliere die folgenden einstelligen Prädikate innerhalb der natürlichen Zahlen
\mavergleichskette
{\vergleichskette
{ \N
}
{ = }{ \{0,1,2,3, \ldots \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.
\aufzaehlungacht{ $x$ ist ein Vielfaches von $10$.
}{ $x$ ist größer als $10$.
}{ $x$ ist kleiner als $10$.
}{ $x$ ist eine Quadratzahl.
}{ $x$ ist keine Quadratzahl.
}{ $x$ ist eine Primzahl.
}{ $x$ ist keine Primzahl.
}{ $x$ ist das Produkt von genau zwei verschiedenen Primzahlen.
}
}
{} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn diagram coloured.svg} }
\end{center}
\bildtext {Ein abstraktes und} }
\bildlizenz { Venn diagram coloured.svg } {} {Ring0} {Commons} {gemeinfrei} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn diagram gr la ru.svg} }
\end{center}
\bildtext {ein konkretes Mengendiagramm.} }
\bildlizenz { Venn diagram gr la ru.svg } {} {Watchduck} {Commons} {gemeinfrei} {}
\inputaufgabe
{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn_diagram_gr_la_ru.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Venn_diagram_gr_la_ru.svg } {} {Watchduck} {Commons} {gemeinfrei} {}
Es sei $LA$ die Menge der Großbuchstaben des lateinischen Alphabets, $GA$ die Menge der Großbuchstaben des griechischen Alphabets und $RA$ die Menge der Großbuchstaben des russischen Alphabets. Bestimme die folgenden Mengen.
\aufzaehlungfuenf{
\mathl{GA \setminus RA}{.}
}{
\mathl{{ \left( LA \cap GA \right) } \cup { \left( LA \cap RA \right) }}{.}
}{
\mathl{RA \setminus { \left( GA \cup RA \right) }}{.}
}{
\mathl{RA \setminus { \left( GA \cup LA \right) }}{.}
}{
\mathl{{ \left( RA \setminus GA \right) } \cap { \left( { \left( LA \cup GA \right) } \setminus { \left( GA \cap RA \right) } \right) }}{.}
}
}
{} {}
\inputaufgabe
{}
{
In der Pause isst Mustafa Müller einen Apfel und einen Schokoriegel, Heinz Ngolo isst einen Apfel und ein Butterbrot, Lucy Sonnenschein isst einen Apfel, Gabi Hochster isst ein Butterbrot und einen Schokoriegel und Frau Doris Maier-Sengupta isst einen Apfel, ein Butterbrot und einen Schokoriegel.
Die Mengen der Apfel- Butterbrot und Schokoriegelesser seien mit
\mathl{A,B,S}{} bezeichnet. Erstelle mengentheoretische Ausdrücke für die folgenden Beschreibungen und liste die Elemente der Mengen auf
\zusatzklammer {die Grundmenge bestehe aus den fünf Personen} {} {.}
\aufzaehlungsieben{Isst einen Apfel.
}{Isst keinen Apfel.
}{Isst ein Butterbrot oder einen Schokoriegel.
}{Isst einen Apfel aber keinen Schokoriegel.
}{Isst einen Apfel und einen Schokoriegel aber kein Butterbrot.
}{Isst ein Butterbrot, aber weder einen Apfel noch einen Schokoriegel.
}{Isst nichts.
}
}
{} {}
\inputaufgabe
{}
{
Skizziere ein Mengendiagramm zum Thema Stoff in der \zusatzklammer {Grund} {} {-}Schule, das die folgenden \zusatzklammer {oder ähnliche} {} {} Mengen und ihre Beziehungen abbildet. \auflistungneun{Was habe ich in der Schule gelernt. }{Was kam in meiner Schule dran. }{Was wird an manchen Schulen gelehrt. }{Was könnte an einer Schule gelehrt werden. }{Was steht in den Schulbüchern. }{An was kann ich mich erinnern. }{An was können sich andere erinnern. }{Was stand im Lehrplan. }{Was haben die Lehrer verstanden. } Welche Inklusionen gelten, wie sehen Durchschnitte, Vereinigungen, Restmengen aus?
}
{} {}
\inputaufgabe
{}
{
Skizziere ein Mengendiagramm, das zu vier Mengen alle möglichen Schnittmengen darstellt.
}
{} {}
\inputaufgabegibtloesung
{}
{
Die Hochschule \anfuehrung{Tellerrand}{} bietet lediglich $4$ Fächer an, nämlich Hethitologie, Assyriologie, Ägyptologie und Semitistik. Sie bietet lediglich $2$-Fächer-Bachelor an in beliebiger Fächerkombination. Wie viele Fächerkombinationen gibt es \zusatzklammer {es wird nicht zwischen Erst- und Zweitfach unterschieden} {} {?} Skizziere ein Mengendiagramm, das die Studentenschaft mit ihren Fächern widergibt. Die zu einem Fach gehörenden Studenten und Studentinnen sollen dabei durch ein zusammenhängendes Gebiet dargestellt werden.
}
{} {}
\inputaufgabegibtloesung
{}
{
Es seien
$A,\, B$ und $C$
Mengen. Beweise die Identität
\mavergleichskettedisp
{\vergleichskette
{A \setminus { \left( B \cap C \right) }
}
{ =} { { \left( A \setminus B \right) } \cup { \left( A \setminus C \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{}
{
Es seien
$A,\, B$ und $C$
Mengen. Man beweise die folgenden Identitäten.
\aufzaehlungneun{
\mavergleichskettedisp
{\vergleichskette
{ A \cup \emptyset
}
{ =} { A
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ A \cap \emptyset
}
{ =} { \emptyset
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{A \cap B
}
{ =} { B \cap A
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{A \cup B
}
{ =} { B \cup A
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ A \cap (B \cap C)
}
{ =} { (A \cap B) \cap C
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ A \cup (B \cup C)
}
{ =} { (A \cup B) \cup C
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ A \cap (B \cup C)
}
{ =} { (A \cap B) \cup (A \cap C)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ A \cup (B \cap C)
}
{ =} { (A \cup B) \cap (A \cup C)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ A \setminus (B \cup C)
}
{ =} { (A \setminus B) \cap (A \setminus C)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
}
{} {}
\inputaufgabe
{}
{
Man gebe für die folgenden Teilmengen der natürlichen Zahlen quantorenlogische Beschreibungen. \aufzaehlungsechs{Die Menge der geraden Zahlen, }{Die Menge der Zahlen, die durch vier teilbar sind, }{Die Menge der ungeraden Zahlen, }{Die Menge der Quadratzahlen, }{Die Menge der Primzahlen, }{Die Menge der Zahlen, die als Summe von drei Quadratzahlen geschrieben werden können. }
}
{} {}
\inputaufgabe
{}
{
Es seien
\mathkor {} {A} {und} {B} {}
Mengen. Zeige, dass die folgenden Aussagen zueinander äquivalent sind.
\aufzaehlungsechs{
\mavergleichskette
{\vergleichskette
{ A
}
{ \subseteq }{B
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ A \cap B
}
{ = }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ A \cup B
}
{ = }{ B
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ A \setminus B
}
{ = }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{Es gibt eine Menge $C$ mit
\mavergleichskette
{\vergleichskette
{ B
}
{ = }{ A \cup C
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{Es gibt eine Menge $D$ mit
\mavergleichskette
{\vergleichskette
{ A
}
{ = }{ B \cap D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{} {}
\inputaufgabe
{}
{
Es seien
\mathkor {} {M} {und} {N} {}
\definitionsverweis {disjunkte Mengen}{}{}
und
\mathl{x \in M}{.} Zeige, dass auch
\mathkor {} {M \setminus \{x\}} {und} {N \cup \{ x\}} {}
disjunkt sind und dass
\mavergleichskettedisp
{\vergleichskette
{M \cup N
}
{ =} { { \left( M \setminus \{x\} \right) } \cup { \left( N \cup \{ x\} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabe
{}
{
Finde Parallelen zwischen Aussagen- und Quantorenlogik einerseits und Mengentheorie andererseits.
}
{} {}
\zwischenueberschrift{Aufgaben zum Abgeben}
\inputaufgabe
{2}
{
Wir verstehen die Aussage \anfuehrung{Igel haben Stacheln}{} als \anfuehrung{Jeder Igel besitzt mindestens einen Stachel}{.} Welche der folgenden Aussagen sind äquivalent zur Negation dieser Aussage. \aufzaehlungzweireihe {\itemfuenf {Es gibt keinen Igel, der keine Stacheln besitzt. }{Alle Igel haben keine Stacheln. }{Es gibt einen Igel, der keinen Stachel besitzt. }{Es gibt einen Stachel, der zu keinem Igel gehört. }{Es gibt einen Igel ohne Stacheln. } } {\itemfuenf {Es gibt viele Igel ohne Stacheln. }{Es existiert mindestens ein Igel, der mindestens einen Stachel besitzt. }{Es existiert mindestens ein Igel, der höchstens einen Stachel besitzt. }{Nicht jeder Igel hat mindestens einen Stachel. }{Stachelschweine haben auch Stacheln. } }
}
{} {}
\inputaufgabe
{4}
{
Formuliere die folgenden einstelligen Prädikate innerhalb der natürlichen Zahlen $\N=\{0,1,2,3, \ldots \}$ allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren. \aufzaehlungacht{ $x$ ist ein Vielfaches von $5$. }{ $x$ ist eine ungerade Zahl. }{ $x$ ist eine Kubikzahl. }{ $x$ ist ein Vielfaches von $5$ und ein Vielfaches von $3$. }{ $x$ ist ein Vielfaches von $5$ oder ein Vielfaches von $3$. }{ $x$ besitzt bei Division durch $5$ den Rest $3$. }{ $x$ ist die Summe von zwei Quadratzahlen. }{ $x$ ist die Summe von vier Quadratzahlen. }
}
{} {}
\inputaufgabe
{4}
{
Bestimme für die Mengen
\mathdisp {M=\{a,b,c,d,e\},\, N=\{a,c,e\},\, P=\{b\},\, R = \{b,d,e,f\}} { }
die Mengen
\aufzaehlungacht{
\mathl{M \cap N}{,}
}{
\mathl{M \cap N \cap P \cap R}{,}
}{
\mathl{M \cup R}{,}
}{
\mathl{{ \left( N \cup P \right) } \cap R}{,}
}{
\mathl{N \setminus R}{,}
}{
\mathl{{ \left( M \cup P \right) } \setminus { \left( R \setminus N \right) }}{,}
}{
\mathl{{ \left( { \left( P \cup R \right) } \cap N \right) } \cap R}{,}
}{
\mathl{{ \left( R \setminus P \right) } \cap { \left( M \setminus N \right) }}{.}
}
}
{} {}
\inputaufgabe
{5}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Vierecke.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Vierecke.svg } {} {NordNordWest} {Commons} {CC-by-sa 3.0} {}
Die Grundmenge $G$ sei die links abgebildete Menge an Vierecken. Beschreibe die folgenden Mengen durch Auflistung ihrer Elemente. \aufzaehlungzweireihe {\itemfuenf {$G$. }{$S$
- Mindestens zwei Seiten sind parallel zueinander.
}{$R$
- Alle Seiten sind gleichlang.
}{$P$
- Je zwei gegenüberliegende Seiten sind parallel zueinander.
}{
\mathl{D}{:} Die Diagonalen schneiden sich senkrecht.
} } {\itemfuenf {
\mathl{E}{:} An jedem Eck liegt ein rechter Winkel an.
}{
\mathl{E \cap R}{.}
}{
\mathl{S \setminus P}{.}
}{
\mathl{(P \cap R) \cup (E \cap D)}{.}
}{
\mathl{(P \setminus R) \cap (D \setminus E)}{.}
} }
}
{} {}
\inputaufgabe
{5}
{
Beweise die mengentheoretischen Fassungen einiger aristotelischer Syllogismen. Dabei bezeichnen $A,B,C$ Mengen.
\aufzaehlungfuenf{Modus Barbara: Aus
\mavergleichskette
{\vergleichskette
{ B
}
{ \subseteq }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ C
}
{ \subseteq }{ B
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ C
}
{ \subseteq }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Modus Celarent: Aus
\mavergleichskette
{\vergleichskette
{ B \cap A
}
{ = }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ C
}
{ \subseteq }{ B
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ C \cap A
}
{ = }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Modus Darii: Aus
\mavergleichskette
{\vergleichskette
{ B
}
{ \subseteq }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ C \cap B
}
{ \neq }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ C \cap A
}
{ \neq }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Modus Ferio: Aus
\mavergleichskette
{\vergleichskette
{ B \cap A
}
{ = }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ C \cap B
}
{ \neq }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ C
}
{ \not \subseteq }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Modus Baroco: Aus
\mavergleichskette
{\vergleichskette
{ B
}
{ \subseteq }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ B
}
{ \not \subseteq }{ C
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ A
}
{ \not \subseteq }{ C
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{} {}