Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren

Ähnliche Dokumente
Grundbegriffe aus Logik und Mengenlehre

Grundbegriffe Mengenlehre und Logik

Lösungen 2 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren

Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 1. Übungsblatt

Lösungen 5 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren

1.9 Beweis durch Kontraposition

Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge zum 1. Übungsblatt

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18

Mengenlehre. Begriff der Mengenzugehörigkeit x M, x Ê M >x : x { a 1. e e x = a n. } 2 x = a 1. >x : x { y P(y) } 2 P(x) Begriff der leeren Menge

Zusatzmaterial zur Mathematik I für E-Techniker Übung 1

Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge zum 1. Übungsblatt

2.2.4 Logische Äquivalenz

Übungszettel 1a - Aussagenlogik und Mengen

Warum Mathe? IG/StV-Mathematik der KFU-Graz. 1 Mengen Mengenoperationen Rechenregeln Mengen 4. Funktionen 7

Logik. Logik. Vorkurs Informatik Theoretischer Teil WS 2013/ September Vorkurs Informatik - Theorie - WS2013/14

definieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1.

Tag 1a - Aussagenlogik und Mengen

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16

Kapitel 1: Grundbegriffe

Analysis I für Studierende der Ingenieurwissenschaften

Brückenkurs Mathematik

Hausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung. Elementare Logik. Diskrete Strukturen. Uta Priss ZeLL, Ostfalia

Lösungen 3 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren

11. Beschreiben Sie die disjunktive und die konjunktive Normalform eines logischen Ausdrucks!

Mathematische Grundlagen der Computerlinguistik

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011.

1 Sprechweisen und Symbole der Mathematik

Vorsemesterkurs Informatik

Grundlagen der Mathematik

Logik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage

Grundlagen der Mathematik

Mathematische Grundlagen der Computerlinguistik I. Mengen und Mengenoperationen (Teil 1)

Tutorium: Diskrete Mathematik

Vorkurs Mathematik - SoSe 2017

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Höhere Mathematik für die Fachrichtung Physik

Vorlesung. Logik und Beweise

Vorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG

Vorsemesterkurs Informatik

Grundlegendes der Mathematik

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken

Vorlesung. Beweise und Logisches Schließen

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung

Einführungskurs Mathematik

Formale Methoden 2 (Lehrstuhl I Logik in der Informatik)

1 Grundlagen. 1.1 Aussagen

3 Mengen und Abbildungen

Algebraische Grundlagen 1

Logik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018

1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen?

Mengen. (Nicht-) Elemente einer Menge { 3, 4 } { 1, { 2 }, { 3, 4 }, { 5 } } 3 { 1, { 2 }, { 3, 4 }, { 5 } }

Brückenkurs Mathematik 2015

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017

De Morgan sche Regeln

Mengenoperationen, Abbildungen

Kapitel 1. Aussagenlogik

Analysis I für Studierende der Ingenieurwissenschaften

Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen

1.3 Aussagen. Beispiel: Das Bruttosozialprodukt der Bundesrepublik Deutschland ist höher als das der USA ist eine offenbar falsche Aussage.

Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, Christian Rieck, Arne Schmidt

Diskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen

Mathematik-Vorkurs für Informatiker Aussagenlogik 1

Mengen. Eigenschaften. Spezielle Mengen (1) Prominente Mengen. ! Mengenzugehörigkeit

Mengenlehre und vollständige Induktion

Paare und Kartesische Produkte

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

Aussagenlogik. Aussagen und Aussagenverknüpfungen

Brückenkurs Mathematik. Dienstag Freitag

Lineare Algebra. Jung Kyu Canci. Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle

ERRATA. Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62)

Vorkurs Mathematik Logik und Beweismethoden 1

Kapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1

Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 1. Übungsblatt

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den

1. Übungsblatt zur Analysis I. Gruppenübungen

Mathematik 1, Teil B

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier

Diskrete Strukturen. Sebastian Thomas RWTH Aachen Mathematische Logik

1.2 Klassen und Mengen

Frage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung?

Kleine lateinische Buchstaben wie z. B. p, q, r, s t, usw.

Vorsemesterkurs Informatik

Vorlesung Mathematik I für Wirtschaftswissenschaftler. Universität Leipzig, WS 16/17

Beweistechniken. Vorkurs Informatik - SoSe April 2014

Summen- und Produktzeichen

Einleitung. R 2 = R R := { (x, y) ; x, y R }

Vorkurs Mathematik 2016

Alphabet der Prädikatenlogik

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise

Grundlagen der Mengenlehre

0 Mengen und Abbildungen, Gruppen und Körper

Jeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen.

Höhere Mathematik für die Fachrichtung Physik

Elemente der Analysis I Kapitel 3: Einführung III, Summen, Logik, Mengen, Beweise

Mathematische Grundlagen I Logik und Algebra

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Diskrete Strukturen. Vorlesung 3: Naive Mengenlehre. 30. Oktober 2018

Kapitel 1 Grundbegriffe der Mengenlehre und der Logik

Transkript:

Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 11. Oktober 2016, Fehler, Ideen, Anmerkungen und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de 1 Mengenlehre und Logik Aufgabe 1.1. Welche der folgenden Ausdrücke sind Aussagen? Begründe! Wenn der Ausdruck eine Aussage ist, entscheide, ob sie wahr oder falsch ist! 1. 1 + 1 = 2 2. In Dresden ist das Wetter gut. 3. Ich mag Mathematik. 4. Johann Sebastian Bach. 5. Pferde sind Paarhufer. 6. Dieser Satz ist eine Aussage. 7. Dieser Satz ist keine Aussage. 8. Dieser Satz ist eine wahre Aussage. 9. Dieser Satz ist eine falsche Aussage. Lösung. Diese Antworten sind nur ein Vorschlag, man könnte sich auch andere Gedanken machen! (Außer vielleicht in Punkt 1 bis 4) 1. wahre Aussage (Wir gehen einfach davon aus, dass dieser Ausdruck das bedeutet, was wir denken, das er bedeutet. Diese Frage verdeutlicht, dass man immer einen Kontext braucht, um entscheiden zu können, ob etwas wahr oder falsch ist.) 1

2. Hängt vom Ort und vom Zeitpunkt, an dem es gesagt wird, ab. Damit ist es nicht möglich, aus diesem Satz selbst zu erkennen, ob er wahr ist. Also keine Aussage. 3. Hängt vom Sprecher ab. Damit ist es nicht möglich, aus diesem Satz selbst zu erkennen, ob er wahr ist. Also keine Aussage. 4. Ist nur ein Name. Damit ist die Frage nach wahr oder Falsch sinnlos. Also keine Aussage. 5. falsche Aussage. Pferde sind Unpaarhufer. 6. wahre Aussage. 7. falsche Aussage. (Dieser und der 6. Satz bilden ein Paar, das aus einer Aussage und ihrer Negation besteht. Wenn also der sechste Satz wahr ist, sollte dieser falsch sein. Allerdings ist es eine Frage, ob man diese Art Selbstbezüglichkeit, die in beiden Sätzen zu Tage tritt, noch für Aussagen zulassen will oder nicht. In diesem Sinne sind insbesondere die Antworten 6 und 7 diskutabel.) 8. keine Aussage, denn man kann nicht sinnvoll entscheiden, ob der Satz wahr oder falsch ist. Wenn er wahr ist, muss seine Negation (also Satz 9) falsch sein. Wir wir gleich erörtern werden, ist das beides aber sinnlos. 9. keine Aussage, denn man kann nicht sinnvoll entscheiden, ob der Satz wahr oder falsch ist: Angenommen, er sei wahr. Dann muss er, um wahr zu sein eine falsche Aussage sein. Wenn man andererseits annimmt, der Satz sei falsch, dann müsste seine Negation wahr sein, also müsste er eine wahre Aussage sein. Aufgabe 1.2. Stelle die Wahrheitstabellen für folgende Aussagen auf: a b, b a, a b, b a, a b, (a b) (b a), a b, (a b) (a b). Was fällt dir auf? Formuliere die gefundenen logischen Sachverhalte in natürlicher Sprache und gib Beispiele. Lösung. Die Wahrheitstabelle: a b a b b a a b b a a b (a b) (b a) a b (a b) (a b) 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 Es fällt auf, dass 1. (a b) = ( a b) = ( b a) 2. (a b) = (b a) 2

3. (a b) = ((a b) (b a)) 4. (a b) = ((a b) (a b)) In natürlicher Sprache bedeutet die erste Gleichheit in 1., dass aus a b folgt, wenn a falsch ist oder b richtig. Ein Beispiel dafür ist, Dr. Frankenstein, der herausfinden will, ob eine Substanz Superkräfte verleiht, seinem Igor eine Dosis gibt und dann sieht, ob sich etwas verändert. Den Fall, dass Igor keine Dosis bekommen hat, muss Dr. Frankenstein nicht überprüfen. Die zweite Gleichheit bedeutet in diesem Beispiel, dass, wenn Igor die Dosis eingenommen hat und keine Superkräfte entwickelt, die Substanz auch nicht wirksam ist. Die nicht-gleichheit in 2. ist ein wichtiges Caveat: Wenn aus a b folgt, muss nicht auch aus b a folgen! Wenn Dr. Frankensteins Substanz tatsächlich Superkräfte verleiht, muss das nicht heißen, dass jemand mit Superkräften die Substanz auch genommen hat. Die dritte Gleichheit sagt, dass a und b äquivalent sind, wenn aus a b folgt und auch aus b a folgt. So beweist man fast alle Äquivalenzen. Die letzte Gleichheit charakterisisert das exklusive Oder als das Entweder-Oder des alltäglichen Sprachgebrauches. Während also in der Mathematik ein a oder b fast immer a b meint, also insbesondere, dass auch a und b zutreffen können, schließt das exklusive Oder das aus. Ein Beispiel ist die bekannte Tatsache, dass viele Meschen gereitzt reagieren, wenn ein Mahtematikstudent auf eine Oder-Frage mit ja antwortet: Kommst du noch mit an die Elbe grillen oder bleibst du lieber zu Hause? Ja. Aufgabe 1.3. Beweise die De Morgan schen Regeln: (a b) = a b und (a b) = a b für Aussagen a und b. Was bedeuten sie in natürlicher Sprache? Lösung. Betrachte folgende Wahrheitstabelle: a b (a b) a b (a b) a b 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 Damit sind die De Morgan schen Regeln bewiesen. Die erste Regel bedeutet, dass, wenn man unter einem guten Konzert ein Konzert versteht, das Spaß macht oder neuartige Musik bietet (oder beides, denn unser Oder ist inklusiv!), ein schlechtes Konzert eines ist, das keinen Spaß macht und auf dem nur schon bekannte Musik gespielt wird. Die zweite bedeutet, zum Beispiel, dass, wenn man gutes Sommerwetter als Sonnenschein und mindestens 25 Grad Celsius definiert, das Wetter schlecht ist genau dann, wenn die Sonne nicht scheint oder es kälter als 25 Grad Celsius ist (oder beides). 3

Aufgabe 1.4. Gibt es eine zusammengesetzte Aussage mit Teilaussagen a, b und c (jede mindestens einmal!), die genau die Junktoren und benutzt (jeden mindestens einmal!), und bei der Klammersetzung den Wahrheitswert nicht verändert? Begründe! Lösung. Diese Aufgabe soll eine Knobelaufgabe bleiben. Wer eine Lösung findet, darf sie an benedikt.bartsch@myfsr.de schicken. Aufgabe 1.5. Sei der Individuenbereich die Gesamtheit aller Pokémon. Schreibe die folgenden Aussagen mit Quantoren, wobei du nur die Aussagen K(x, y, z) für z ist ein Kind von x und y und M(x) für x ist männlich verwendest! Für die Zwecke dieser Aufgabe (und nur dafür) nehmen wir an, dass jedes Pokémon entweder männlich oder nicht männlich, was weiblich sei, ist. 1. a ist ein Einzelkind. 2. a ist ein Cousin von b. 3. a hat genau eine Schwester. 4. Niemand ist sein eigener Vater. Lösung. 1. x, y, z : (K(x, y, a) K(x, y, z)) (a = z) ( ( ( (K(v, ) 2. M(a) w, v, x, y : w, a) K(x, y, b) s, t : ( (K(s, t, v) K(s, t, x)) (K(s, t, v) K(s, t, y)) (K(s, t, w) K(s, t, x)) (K(s, t, w) K(s, t, y)) )))) 3. x, y : ( K(x, y, a) (!z : K(x, y, z) (a = z) M(z)) ) 4. x, y, z : (K(x, y, z) M(x)) (x = z) Aufgabe 1.6. Schreibe die Aussagen!x : A(x) und x : A(x), wobei du nur die Quantoren und verwendest! Lösung. Es gilt (!x : A(x)) = ( x : A(x) ( y : (y = x) A(x)) ) und ( x : A(x)) = ( x : A(x)). Aufgabe 1.7. Verneine die Aussagen x : A(x) und x : A(x)! Welches Prinzip fällt dir auf? Kann man es auch auf eine Aussage wie x y, z : B(x, y, z) anwenden? Wie verhalten sich die Quantoren und!? 4

Lösung. Es gilt ( x : A(x)) = ( x : A(x)) und ( x : A(x)) = ( x : A(x)). Die Quantoren und werden also vertauscht und die Aussage hinter dem Doppelpunkt verneint. Auch Aussagen mit mehreren Vorkommen der Quantoren und kann man auf diese Weise negieren, so gilt zum Beispiel ( x y, z : B(x, y, z)) = ( x y, z : B(x, y, z)). Die Quantoren! und kann man auf diese Weise nicht direkt verneinen, sondern muss zuerst die Umformulierungen aus Aufgabe 1.6 anwenden. Aufgabe 1.8. Gib jeweils beispielhafte Aussagen A(x) und B(x) (und einen Individuenbereich) an, die belegen, dass im Allgemeinen ( x : A(x) B(x)) = ( x : A(x)) ( x : B(x)) und ( x : A(x) B(x)) = ( x : A(x)) ( x : B(x))! Lösung. Der Individuenbereich sei die Menge aller Autos. Sei A(x) die Aussage x fährt schnell und B(x) die Aussage x ist sparsam. Die Formel ( x : A(x) B(x)) = ( x : A(x)) ( x : B(x)) bedeutet dann, dass die Aussagen es gibt ein Auto, dass schnell fährt und sparsam ist und es gibt ein sparsames Auto und ein schnelles Auto unterschiedlich sind. Sei nun der Individuenbereich die Menge aller Tage des Jahres und A(x) die Aussage an x regnet es und B(x) die Aussage an x scheint die Sonne. Die Formel ( x : A(x) B(x)) = ( x : A(x)) ( x : B(x)) bedeutet dann, die Aussagen An jedem Tag scheint die Sonne oder es regnet und Das ganze Jahr über scheint die Sonne oder das ganze Jahr über regnet es unterschiedlich sind. Aufgabe 1.9. Seien A(x), B(x) Aussagen mit A(x) B(x). Zeige, dass dann {x A(x)} {x B(x)}! Lösung. Sei x {x A(x)}. Dann gilt A(x). Nach Voraussezung gilt dann auch B(x), womit x {x B(x)}. Aufgabe 1.10. Zeige, dass für zwei Mengen A und B gilt, dass A = B (A B) (B A)! (Diese Eigenschaft wird oft verwendet, um zu zeigen, dass zwei Mengen gleich sind.) Lösung. Wir beweisen die Äquivalenz, indem wir zuerst eine und dann die andere Implikation überprüfen. Diese Vorgehensweise ist erlaubt, wie wir uns in Aufgabe 1.2 überlegt haben. Gelte also zunächst A = B. Dann ist für alle a A auch a B, also gilt A B Ferner gilt auch für alle b B gilt b A, also folgt B A. Sei nun A B und B A. Dann gilt wegen A B für jedes a A, dass a B und wegen B A, dass für jedes b B auch b A gilt. Damit gilt für beliebiges x, dass x A x B, also A = B. Aufgabe 1.11. Beweise, dass jede Menge eine Obermenge der leeren Menge ist! Lösung. Sei A eine Menge. Dann gilt für jedes Element a der leeren Menge, dass a A (es gibt ja keine, also ist nichts zu überprüfen!). Damit ist A. Aufgabe 1.12. Beweise, dass die symmetrische Differenz tatsächlich symmetrisch ist, d.h. dass für je zwei Mengen A und B gilt, dass A B = B A! Dazu kannst du entweder direkt anhand der Definition arbeiten oder die Aussage von Aufgabe 1.10 verwenden oder zuerst (z.b. 5

mit einem Venn-Diagramm) beweisen, dass A B = (A \ B) (B \ A) und dann benutzen, dass für beliebige Mengen M und N die Aussage M N = N M in offensichtlicher Weise gilt. Lösung. Folgende drei Venn-Diagramme illustrieren, dass A B = (A \ B) (B \ A). A B A B A B (a) B \ A (b) A \ B (c) A B Wegen der Symmetrie von gilt also A B = (A \ B) (B \ A) = (B \ A) (A \ B) = B A. Aufgabe 1.13. Schreibe die Potenzmenge der Menge A := {, { }} auf! Gibt es eine Menge, deren Potenzmenge A ist? Lösung. Es gilt P(A) = {, { }, {{ }}, {, { }}}. A ist die Potenzmenge der einelementigen Menge { }. Aufgabe 1.14. Die Menge A habe n Elemente. Erkläre, warum P(A) dann 2 n Elemente hat! Lösung. Es gilt P( ) = { }, also hat P( ) = 2 0 = 1 Element und die Behauptung stimmt. Sei also nun A =. Wie viele Möglichkeiten gibt es nun eine Teilmenge B von A auszuwählen? Für jedes Element von A entscheidet man, ob es zu B gehören soll; dafür gibt es zwei Möglichkeiten, nämlich ja oder nein. Da diese Entscheidungen für jedes Element von A unabhängig voneinander sind, hat man also 2 } 2.{{.. 2 2} = 2 n n-mal Möglichkeiten. Damit hat P(A) gerade 2 n Elemente. Aufgabe 1.15. Seien A und B Mengen. Beweise A B = A = B =! Lösung. Sei zunächst A = B =. Ohne Einschränkung sei A =. Dann gilt A B = {(a, b) a, b B} =. Andererseits: Falls A = B =, gibt es ein a 0 A und ein b 0 B also enthält A B mindestens das Paar (a 0, b 0 ). Aufgabe 1.16. Sei A eine Menge mit n Elementen und B eine Menge mit m Elementen. Wie viele Elemente hat A B? Begründe! 6

Lösung. A B hat n m Elemente. Das kann man so sehen: Man bezeichne die Elemente von A mit a 1,..., a n und die Elemente von B mit b 1,..., b n. Dann enthält für jedes feste a i die Menge A B alle Paare (a i, b j ), wobei j {1,..., m}. Das sind also für jedes a i schon m Elemente; weil es aber n verschiedene ( verschiedene das ist wichtig, weil dann die Paare auch verschieden sind!) a i gibt, folgt dass es n m Paare gibt. Aufgabe 1.17. Wir alle kennen aus der Schule das Distributivgesetz der Multiplikation und Addition reller Zahlen: Für a, b, c R gilt a (b + c) = a b + a c. Für welche der bis jetzt definierten Mengenoperationen gelten auch Distributivgesetze? Wenn Distributivgesetze gelten, gibt sie an! Ebenso wissen wir, dass die Addition reller Zahlen monoton ist, das heißt, für Zahlen a, b, α, β R gilt a α a β a + b α + β. Welche der bis jetzt definierten Mengenoperationen sind monoton (wobei man natürlich mit ersetzen muss)? Du kannst dir, wenn du unsicher bist, mit Venn-Diagrammen helfen. Lösung. Wir bearbeiten hier nur beispielhaft ein Paar der vielen Aufgaben. Wer konkrete Fragen oder Probleme hat, kann sie an benedikt.bartsch@myfsr.de schicken. Die hier gezeigten Beispiele illustrieren, welche Gedanken man sich machen sollte. Es gilt zum Beispiel für Mengen A, B, C folgendes Distributivgesetz: A (B C) = A B A C, denn A (B C) = {(a, b) a A (b B b C)} (warum?) und mit Aufgaben 1.10 und 1.9 folgt die Behauptung (wie?). (Gilt auch (A B) C = (A C) (B C)?) Als Beispiel zweier Mengenoperationen, für die kein Distributivgesetz gilt, betrachte \ und : Für A = {1, 2, 3}, B = {1, 2} und C = {3, 4} gilt A \ (B C) = A \ = A = = {3} {1, 2} = (A \ B) (A \ C). Gilt das Distributivgesetz, in dem die Rollen von und \ vertauscht sind, also A (B \ C) = (A B) \ (A C)? Beispiele monotoner Mengenoperationen sind und, wie man sich leicht überlegt. Ein Beispiel einer nicht-monotonen Mengenoperation ist \, denn zum Beispiel für A = {1, 2, 3}, B = {2, 3, 4}, C = {1, 2, 3, 4} und D = {1, 2, 3, 4} gilt A \ B = {1} = C \ D aber A C und B D. Wenn man allerdings nur die linke Menge verändert, ist \ wieder monoton. 7