imported>Serols: Änderungen von 2A00:6020:B3CA:3700:9032:EEF9:D54C:A54E (Diskussion) rückgängig gemacht (HG) (3.4.12)

2024-05-13T15:43:12Z

Änderungen von 2A00:6020:B3CA:3700:9032:EEF9:D54C:A54E (Diskussion) rückgängig gemacht (HG) (3.4.12)

Neue Seite

[[Datei:Venn-stainedglass-gonville-caius.jpg|mini|180px|Bleiverglastes Fenster mit einem Venn-Diagramm im britischen Cambridge, dem Studienort John Venns]]
'''Mengendiagramme''' dienen der grafischen Veranschaulichung der [[Mengenlehre]]. Es gibt unterschiedliche Arten von Mengendiagrammen, insbesondere '''Euler-Diagramme''' (nach [[Leonhard Euler]]) und '''Venn-Diagramme''' (nach [[John Venn]]).

Mengendiagramme können Mengenbeziehungen verdeutlichen, sind jedoch im Allgemeinen nicht als [[Beweis (Mathematik)|mathematische Beweismittel]] geeignet. Als Beweismittel eignen sich nur solche Mengendiagramme, die ''alle'' möglichen Relationen der vertretenen Mengen darstellen; solche Diagramme werden Venn-Diagramme genannt. Der Nachteil von Venn-Diagrammen liegt darin, dass sie bei mehr als drei beteiligten Mengen rasch unübersichtlich werden, weil sie bei ''n'' Objekten ''2n'' Möglichkeiten darstellen müssen. Venn selbst konnte unter der Verwendung von Ellipsen bis zu vier, schließlich sogar fünf beteiligte Mengen darstellen.

== Beispiele ==
=== Euler-Diagramme ===
Euler-Diagramme werden in erster Linie dazu eingesetzt, mengentheoretische Beziehungen und Sachverhalte, zum Beispiel die Teilmengeneigenschaft, anschaulich zu machen, wobei die folgenden Veranschaulichungen üblich sind:<ref>{{Literatur |Autor=Peter Bernhard |Titel=Euler-Diagramme. Zur Morphologie einer Repräsentationsform in der Logik |Auflage=1. |Verlag=mentis Verlag |Ort=Paderborn |Datum=2001 |ISBN=3-89785-142-3}}</ref>

<gallery>
Datei:Euler diagram - x is in A.png|<math>x \in A</math>; <math>x</math> ist ein Element von <math>A</math>.
Datei:Euler diagram - x is not in A.png|<math>x \notin A</math>; <math>x</math> ist nicht Element von <math>A</math>.
Datei:Euler diagram - B is subset of A.png|<math>B \subset A</math>; <math>B</math> ist eine Teilmenge von <math>A</math>.
</gallery>

Weitere Beispiele für Euler-Diagramme sind:

<gallery>
Datei:Number-systems.svg|Euler-Diagramm der Zahlenbereiche
Datei:Supranational European Bodies-de.svg|Zugehörigkeit der europäischen und nicht europäischer Staaten zu den europäischen Institutionen
Datei:British Isles Euler diagram 15.svg|Euler-Diagramm der britischen Inseln
Datei:EulerDiagram-de.svg|Alle Lebewesen mit vier Beinen sind Tiere, aber kein Mineral ist ein Tier.
</gallery>

=== Venn-Diagramme ===
Anders als Euler-Diagramme beziehen Venn-Diagramme ''alle'' möglichen Relationen zwischen den betrachteten Mengen, also auch solche, die leer sind, mit in die Darstellung ein, so dass man an ihnen sowohl Zusammenhänge als auch das Fehlen von Zusammenhängen ablesen, aus dem Vorliegen oder Nicht-Vorliegen einzelner Relationen auf das Vorliegen oder Nicht-Vorliegen anderer Relationen schließen kann:

<gallery>
Datei:Venn0001.svg|<math>A \cap B</math> (Schnittmenge)
Datei:Venn0111.svg|<math>A \cup B</math> (Vereinigungsmenge)
Datei:Venn0100.svg|<math>A \setminus B</math> (Differenzmenge)
Datei:Venn0110.svg|<math>A \bigtriangleup B </math> ([[Symmetrische Differenz]])
Datei:Venn1010.svg|<math>A^{\rm C}</math> ([[Komplement (Mengenlehre)|Komplement]] von A)
</gallery>

==== Erweiterung auf mehrere Mengen ====

<gallery>
Datei:Venn3.svg|Venns Konstruktion mit n = 3
Datei:Venn4.svg|Venns Konstruktion mit n = 4
Datei:Venn5.svg|Venns Konstruktion mit n = 5
Datei:Venn6.svg|Venns Konstruktion mit n = 6
Datei:Venn's four ellipse construction.svg|Venns ''elegante'' Lösung mit 4 Ellipsen
</gallery>

Venn-Diagramme sind vor allem in der Darstellung für drei Mengen mit Kreisen bekannt. Venn hatte jedoch den Ehrgeiz, „in sich elegante symmetrische Figuren“ zu finden, die eine größere Anzahl an Mengen darstellen, und zeigte ein Diagramm für vier Mengen in Ellipsenform. Er gab dann ein Konstruktionsverfahren an, mit dem man Venn-Diagramme für eine „beliebige“ Anzahl von Mengen darstellen kann, wobei jede geschlossene Kurve mit den anderen verflochten ist, ausgehend vom Diagramm mit drei Kreisen. Dabei wird ein „Schlauch“ über die jeweils letzte Mengendarstellung gezogen. Damit werden alle anderen Mengen geschnitten.

=== Unterschiede zwischen Venn- und Eulerdiagrammen ===
Der Unterschied beider Mengendiagrammarten wird insbesondere dann deutlich, wenn man sich beide Diagramme für ein konkretes Beispiel anschaut. Man nehme hierzu die folgenden drei Mengen.

* <math>A = \{1,\, 2,\, 5\}</math>
* <math>B = \{1,\, 6\}</math>
* <math>C = \{4,\, 7\}</math>

Das Euler- und das Venn-Diagramm dieser drei Mengen sieht folgendermaßen aus.

<gallery widths="300">
File:3-set Euler diagram.svg|Euler-Diagramm
File:3-set Venn diagram.svg|Venn-Diagramm
</gallery>

Während in Euler-Diagrammen nur die tatsächlichen Überschneidungen zwischen den Mengen zu sehen sind, werden in Venn-Diagrammen alle möglichen Überlappungen der Flächen dargestellt (auch wenn diese keine Objekte enthalten).

=== Johnston-Diagramme ===
Johnston-Diagramme sind eine zweiwertige aussagenlogische Interpretation von Mengendiagrammen, speziell Venn-Diagrammen. In einem Johnston-Diagramm wird ein Kreis (eine Menge) ''P'' als Menge der Sachverhalte interpretiert, unter denen eine Aussage ''P'' wahr ist. Der Bereich außerhalb des Kreises (das Komplement der Menge) ''P'' wird als Menge der Sachverhalte interpretiert, unter denen die Aussage falsch ist. Um zu sagen, ''dass'' eine Aussage wahr ist, malt man den ganzen Bereich außerhalb ihres Kreises schwarz an; man zeigt so an, dass die Sachverhalte, unter denen die Aussage nicht wahr ist, nicht zutreffen können. Um umgekehrt zu sagen, dass eine Aussage ''falsch'' ist, malt man den Bereich innerhalb ihres Kreises schwarz aus; man sagt so, dass die Sachverhalte, unter denen die Aussage wahr ist, nicht zutreffen können. Kombiniert man zwei Aussagen ''P'', ''Q'' durch eine [[Konjunktion (Logik)|Konjunktion]], d. h. will man ausdrücken, dass beide Aussagen wahr sind, malt man die gesamte Fläche, die außerhalb der Schnittfläche der Kreise ''P'', ''Q'' liegt, schwarz an; man sagt so, dass keiner der Sachverhalte, unter denen nicht sowohl ''P'' als auch ''Q'' zutreffen, vorliegen kann.

Johnston-Diagramme sind somit eine Abbildung der klassischen [[Aussagenlogik]] auf die elementare Mengenlehre, wobei die [[Negation]] als Komplementbildung, die Konjunktion als Schnitt und die [[Disjunktion]] als [[Menge (Mathematik)#Vereinigung (Vereinigungsmenge)|Vereinigung]] dargestellt werden. Die Wahrheitswerte ''wahr'' und ''falsch'' werden auf die Allmenge beziehungsweise auf die leere Menge abgebildet.

== Geschichte ==
[[Leibniz]] benutzte bereits um 1690 Mengendiagramme zur Darstellung der [[Syllogistik]].<ref>''De Formae Logicae per linearum ductus.'' ≈1690, erst posthum 1903 veröffentlicht in: ''Couturat: Opuscules et fragmentes inedits de Leibniz.'' S. 292–321</ref> [[Christian Weise]], Rektor des Gymnasiums in [[Zittau]], verwendet um 1700 Mengendiagramme zur Darstellung logischer Verknüpfungen.<ref name="Drobisch1887">[[Moritz Wilhelm Drobisch]]: ''Logik nach ihren einfachsten Verhältnissen.'' 5. Auflage. Verlag Leopold Voss, Hamburg Leipzig 1887 S. 99</ref> [[Johann Christian Lange]] veröffentlichte 1712 das Buch ''Nucleus Logicae Weisianae'', in dem Weises Logik behandelt wird.<ref name="Drobisch1887" /> [[Leonhard Euler]], Schweizer Mathematiker im 18. Jahrhundert, führte das Euler-Diagramm ein, das er erstmals in einem Brief vom 24. Februar 1761 verwendete.<ref name="Begriffslogik">[http://www.begriffslogik.de/artikel/bookdip/node20.html begriffslogik.de], abgerufen am 30. August 2008</ref>

[[John Venn]], britischer Mathematiker im 19. Jahrhundert, führte 1881 das Venn-Diagramm ein. 1964 werden erstmals Arbeiten von [[Charles Sanders Peirce]] akademisch gewürdigt, die dieser im letzten Viertel des 19. Jahrhunderts verfasst hatte und die die [[Existential Graphs|Existentiellen Graphen]] beschreiben.

; Anwendungsbeispiel Syllogistik
Die folgenden Grafiken zeigen, wie Venn-Diagramme seit dem 17. Jahrhundert zur Veranschaulichung von [[Syllogismus|Syllogismen]] genutzt werden. Die Gültigkeit eines Schlusses kann mit dieser Methode überprüft werden. So sieht man etwa, dass der ''[[Syllogismus#AAI – Modus Darapti|Modus Darapti]]'' (s. u.) nur unter der Voraussetzung eines nichtleeren Mittelbegriffs gültig ist.

In schwarzen Bereichen [[Leere Menge|existiert dabei kein Element]] ([[Allaussage]]), in roten Bereichen zumindest ein Element '''x''' ([[Existenzaussage]]):

{| style="margin: 0 auto;"
| [[Datei:Modus Barbara.svg|miniatur|300px|Beweis des ''[[Modus Barbara]]'' mittels Venn-Diagrammen:   Es gibt keine M außerhalb von P, es gibt keine S außerhalb von M; also gibt es keine S außerhalb von P.]] ||   || [[Datei:Modus Darapti.svg|miniatur|300px|Beweis des ''Modus Darapti'' mittels Venn-Diagrammen:   Es gibt keine M außerhalb von P und außerhalb von S, und es gibt einige M; also gibt es einige S in P.]]
|}

Solche Venn-Diagramme lassen sich einfach in Euler-Diagramme umformen, wie die folgende Grafik zeigt. Venn-Diagramme haben den Vorteil, dass man keine Überschneidung vergessen kann, so dass sie auch für Beweise geeignet sind. Dagegen lässt sich bei Euler-Diagrammen intuitiver erfassen, welche Mengen ineinander liegen oder sich überschneiden.

[[Datei:Syllogism-Set-Diagrams.svg|mini|zentriert|600px|Venn-Diagramme und Euler-Diagramme]]

== Weblinks ==
{{Commonscat|Venn diagrams|Mengendiagramme}}
{{Wikibooks|Mathe für Nicht-Freaks: Mengendiagramme: Euler- und Venn-Diagramm}}
{{Wiktionary}}
== Literatur ==
* [[Gereon Wolters (Philosoph)|Gereon Wolters]]: ''Venn-Diagramme'', in: [[Jürgen Mittelstraß]] (Hrsg.): ''Enzyklopädie Philosophie und Wissenschaftstheorie.'' 2. Auflage. Band 8: Th – Z. Stuttgart, Metzler 2018, ISBN 978-3-476-02107-6, S. 280 f. (mit Literaturverzeichnis).
== Einzelnachweise ==
<references />

[[Kategorie:Mengenlehre]]
[[Kategorie:Diagramm (Statistik)]]

Mengendiagramm - Versionsgeschichte

imported>Serols: Änderungen von 2A00:6020:B3CA:3700:9032:EEF9:D54C:A54E (Diskussion) rückgängig gemacht (HG) (3.4.12)