www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Englisch
  Status Grammatik
  Status Lektüre
  Status Korrekturlesen
  Status Übersetzung
  Status Sonstiges (Englisch)

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Mengenlehre" - Mengen
Mengen < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Mengenlehre"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Mengen: kleiner Beweis
Status: (Frage) beantwortet Status 
Datum: 19:23 Do 19.10.2006
Autor: riesel

Aufgabe
A\ (B [mm] \cap [/mm] C) = [mm] (A\setminus [/mm] B) [mm] \cup [/mm] (A [mm] \setminus [/mm] C)

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

Guten Abend!

Zur oben genannten Aufgabe habe ich eine Verständnisfrage. Warum heißt es   = (A [mm] \setminus [/mm] B) [mm] \cup [/mm] (A [mm] \setminus [/mm] C) und nicht =  (A [mm] \setminus [/mm] B) [mm] \cap [/mm] (A [mm] \setminus [/mm] C). Wenn etwas in A und nicht in B und C liegt, dann liegt es doch auch in A und nicht B und in A und nicht C.

Desweiteren würde mich interessieren, ob meine Lösung zu der oberen Aufgabe richtig ist. Vielleicht kennt sich hier jemand mit Mengen aus?

A\ (B [mm] \cap [/mm] C) = A\ {x|x [mm] \in [/mm] B [mm] \wedge [/mm] x [mm] \in [/mm] C} = {x|(x [mm] \in [/mm] A [mm] \wedge [/mm] (x [mm] \not\in [/mm] B [mm] \wedge [/mm] x [mm] \not\in [/mm] C} = {x| [mm] (x\in [/mm] A [mm] \wedge x\not\in [/mm] B) [mm] \vee (x\in [/mm] A [mm] \wedge [/mm] x [mm] \not\in [/mm] C)} = { x| x [mm] \in [/mm] (A [mm] \setminus [/mm] B) [mm] \vee [/mm] x [mm] \in [/mm] ( A [mm] \setminus [/mm] C) } =
[mm] (A\setminus [/mm] B) [mm] \cup [/mm] (A [mm] \setminus [/mm] C)

        
Bezug
Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 20:26 Do 19.10.2006
Autor: galileo

Hallo riesel

Am besten kann es durch Aussagenlogik bewiesen werden:

[mm]a=(x\in A)\qquad b=(x\in B)\qquad c=(x\in C)[/mm]

[mm]A\setminus (B\cap C)=\left\{x|a\wedge\neg (b\wedge c)\right\}[/mm]

[mm]a\wedge\neg (b\wedge c)\ \gdw\ a\wedge (\neg b\vee\neg c)\ \gdw\ (a\wedge\neg b)\vee (a\wedge\neg c)[/mm]

[mm](A\setminus B)\cup (A\setminus C))=\left\{x|(a\wedge\neg b)\vee (a\wedge\neg c)\right\}[/mm]

q.e.d. (was zu beweisen war)

Viele Grüße. :-)
galileo


Bezug
                
Bezug
Mengen: Rückfrage - anderer Aufschrieb
Status: (Frage) beantwortet Status 
Datum: 23:00 Do 19.10.2006
Autor: riesel

Hi,

ich habe noch eine Frage zu deinem Aufschrieb. Kann man das auch so schreiben?
A/(B [mm] \cap [/mm] C) = A [mm] \cap \overline{(B \cap C)} [/mm] = A [mm] \cap (\overline{B} \cup \overline{C}) [/mm] = (A [mm] \cap \overline{B}) \cup [/mm] (A [mm] \cap \overline{C}) [/mm] = (A \ B) [mm] \cup [/mm] (A \ C)

Bezug
                        
Bezug
Mengen: Antwort
Status: (Antwort) fertig Status 
Datum: 23:26 Do 19.10.2006
Autor: galileo

Ja,.............. richtig!

Du hast es. Nicht nachlassen!

Viele Grüße, :-)

galileo

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Mengenlehre"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.englischraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]