Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/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} {}

\inputaufgabe
{}
{

\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} {}

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
{}
{

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 {} {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
{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
{4}
{

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
{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 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }

}
{} {}