www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

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
Dt. Schulen im Ausland: Mathe-Seiten:

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

Mengenoperationen: Fehlersuche
Status: (Frage) beantwortet Status 
Datum: 10:00 Fr 17.10.2008
Autor: Aquilera

Hallo!
Ich stehe vor einem Problem.
Ich habe zu folgender Aufgabe:

Beweisen sie:
C / [(A/B) [mm] \cup [/mm] (B/A)] = [C/(A [mm] \cup [/mm] B)] [mm] \cup [/mm] (A [mm] \cap [/mm] B [mm] \cap [/mm] C)

folgende Lösung, in der ein Fehler steckt, den ich nicht finde. (Kann auch sein, daß die komplette Beweisführung fehlerhaft ist.)
Zum einfacheren Verständnis habe ich merkwürdige Umformungsschritte mal kommentiert.

Ich forme nur die linke Seite des = Zeichens um und zeige so, daß ich auf die rechte komme.
Los gehts:

x [mm] \in [/mm] C [mm] \wedge [/mm] x [mm] \not\in [/mm] [(A/B) [mm] \cup [/mm] (B/A)]

[mm] \gdw [/mm] x [mm] \in [/mm] C [mm] \wedge [/mm] x [mm] \not\in [/mm] (A/B) [mm] \wedge x\not\in [/mm] (B/A) (hier eine de morgansche Regel verwendet. Ist das ok? )

[mm] \gdw [/mm] x [mm] \in [/mm] C [mm] \wedge [/mm] x [mm] \not\in [/mm] (A/B) [mm] \wedge x\not\in [/mm] (B/A)

[mm] \gdw [/mm] x [mm] \in [/mm] C [mm] \wedge [/mm] x [mm] \not\in [/mm] A [mm] \wedge [/mm] x [mm] \in [/mm] B (hier habe ich verwendet, daß x [mm] \not\in \notin [/mm] B mit [mm] x\in [/mm] B gleichzusetzen ist) [mm] \wedge [/mm] x [mm] \not\in [/mm] B [mm] \wedge [/mm] x [mm] \in [/mm] A

[mm] \gdw [/mm] x [mm] \in [/mm] C [mm] \wedge [/mm] x [mm] \not\in [/mm] A [mm] \wedge [/mm] x [mm] \not\in [/mm] B [mm] \wedge [/mm] x [mm] \in [/mm] A [mm] \wedge [/mm] x [mm] \in [/mm] B [mm] \wedge [/mm] x [mm] \in [/mm] C (hier habe ich nun die ganzen Dinge umsortiert und die Aussage x [mm] \in [/mm] C nocheinmal hinzugefügt)

[mm] \gdw [/mm] x [mm] \in [/mm] C/ [(A [mm] \cup [/mm] B)] [mm] \red{ \cap } [/mm] (A [mm] \cap [/mm] B [mm] \cap [/mm] C)

in dem rot gedruckten Zeichen steckt mein Fehler. Da müßte aut Aufgabe ja [mm] \cup [/mm] stehen. Kann mir jemand sagen wo mein Fehler ist?

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

        
Bezug
Mengenoperationen: Antwort
Status: (Antwort) fertig Status 
Datum: 10:37 Fr 17.10.2008
Autor: angela.h.b.


> Hallo!
>  Ich stehe vor einem Problem.
>  Ich habe zu folgender Aufgabe:
>  
> Beweisen sie:
>  C / [(A/B) [mm]\cup[/mm] (B/A)] = [C/(A [mm]\cup[/mm] B)] [mm]\cup[/mm] (A [mm]\cap[/mm] B
> [mm]\cap[/mm] C)
>  
> folgende Lösung, in der ein Fehler steckt, den ich nicht
> finde. (Kann auch sein, daß die komplette Beweisführung
> fehlerhaft ist.)
>  Zum einfacheren Verständnis habe ich merkwürdige
> Umformungsschritte mal kommentiert.
>  
> Ich forme nur die linke Seite des = Zeichens um und zeige
> so, daß ich auf die rechte komme.
>  Los gehts:
>  
> x [mm]\in[/mm] C [mm]\wedge[/mm] x [mm]\not\in[/mm] [(A/B) [mm]\cup[/mm] (B/A)]
>  
> [mm]\gdw[/mm] x [mm]\in[/mm] C [mm]\wedge[/mm] x [mm]\not\in[/mm] (A/B) [mm]\wedge x\not\in[/mm] (B/A)
> (hier eine de morgansche Regel verwendet. Ist das ok? )
>  
> [mm]\gdw[/mm] x [mm]\in[/mm] C [mm]\wedge[/mm] x [mm]\not\in[/mm] (A/B) [mm]\wedge x\not\in[/mm] (B/A)
>  
> [mm]\gdw[/mm] x [mm]\in[/mm] C [mm]\wedge[/mm] x [mm]\not\in[/mm] A [mm]\wedge[/mm] x [mm]\in[/mm] B (hier habe
> ich verwendet, daß x [mm]\not\in \notin[/mm] B mit [mm]x\in[/mm] B
> gleichzusetzen ist) [mm]\wedge[/mm] x [mm]\not\in[/mm] B [mm]\wedge[/mm] x [mm]\in[/mm] A



Hallo,

der Schluß, daß aus x [mm]\not\in[/mm] (A/B) folgt, daß (x [mm]\not\in[/mm] A [mm]\wedge[/mm] x [mm]\in[/mm] B) ist, stimmt nicht.

Mal Dir das mal mit einem Ballonbildchen auf.

Gruß v. Angela


>  
> [mm]\gdw[/mm] x [mm]\in[/mm] C [mm]\wedge[/mm] x [mm]\not\in[/mm] A [mm]\wedge[/mm] x [mm]\not\in[/mm] B [mm]\wedge[/mm] x
> [mm]\in[/mm] A [mm]\wedge[/mm] x [mm]\in[/mm] B [mm]\wedge[/mm] x [mm]\in[/mm] C (hier habe ich nun die
> ganzen Dinge umsortiert und die Aussage x [mm]\in[/mm] C nocheinmal
> hinzugefügt)
>  
> [mm]\gdw[/mm] x [mm]\in[/mm] C/ [(A [mm]\cup[/mm] B)] [mm]\red{ \cap }[/mm] (A [mm]\cap[/mm] B [mm]\cap[/mm] C)
>  
> in dem rot gedruckten Zeichen steckt mein Fehler. Da müßte
> aut Aufgabe ja [mm]\cup[/mm] stehen. Kann mir jemand sagen wo mein
> Fehler ist?
>  
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.


Bezug
                
Bezug
Mengenoperationen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 10:46 Fr 17.10.2008
Autor: Aquilera

x [mm] \in [/mm] (A/B) heißt ja, dass damit alle x gemeint sind, die zwar in A enthalten sind, aber nicht in B.

Das schreibe ich doch so
x [mm] \in [/mm] (A/B) = x [mm] \in [/mm] A [mm] \wedge [/mm] x [mm] \not\in [/mm] B ?

Mein Kreisbildchen sagt mir dann, daß x [mm] \not\in [/mm] (A/B) mit x [mm] \in [/mm] B gleichzusetzen ist???????? Verdutztguck




Bezug
                        
Bezug
Mengenoperationen: Antwort
Status: (Antwort) fertig Status 
Datum: 11:49 Fr 17.10.2008
Autor: angela.h.b.


> x [mm]\in[/mm] (A/B) heißt ja, dass damit alle x gemeint sind, die
> zwar in A enthalten sind, aber nicht in B.

Hallo,

ja, richtig.

>  
> Das schreibe ich doch so
>  x [mm]\in[/mm] (A/B) [mm] \red{<==> } [/mm] x [mm]\in[/mm] A [mm]\wedge[/mm] x [mm]\not\in[/mm] B ?

Ja.

>  
> Mein Kreisbildchen sagt mir dann, daß x [mm]\not\in[/mm] (A/B) mit x
> [mm]\in[/mm] B gleichzusetzen ist???????? Verdutztguck

Deinem Kreisbild fehlt was, ein Rahmen, oder ein großer Kreis, in welchem sich das alles abspielt. Das Element x könnte ja auch völlig außerhalb von A und B liegen.
Das, was Du sagst ist richtig, wenn die Grundmenge [mm] A\cup [/mm] B ist.

Wenn x nicht in A \ B liegt, kann zweierlei zutreffen:

1. x liegt gleichzeitig in A und B, also im Schnitt.
2. x liegt nicht in A.

Gruß v. Angela





Bezug
                                
Bezug
Mengenoperationen: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:55 Fr 17.10.2008
Autor: Aquilera

Ich probiere es mal damit und wenns nicht klappt poste ich heute nachmittag nochmal.

Ich danke dir für all die Antworten...
Ich habe noch genug Fragen offen :)
Nen fiesen Induktionsbeweis, wo ich nicht 2 Zeilen im Induktionsschritt hinbekomme :(

Bezug
                                
Bezug
Mengenoperationen: Neues Problem
Status: (Frage) beantwortet Status 
Datum: 16:01 Fr 17.10.2008
Autor: Aquilera

Hallo!
Ich habe nun neu umgeformt und bin jetzt vor dem Problem, daß ich eine und/oder/und/oder/und Verknüpfung habe und nicht weiß wie ich die klammern richtig auflöse.

Anfangsproblem ist immer noch C / ((A/B) [mm] \cup [/mm] (B/A))
Nach zwei zwischenschritten komme ich dann zu der Aussage x [mm] \in [/mm] C [mm] \wedge [/mm] ((x [mm] \not\in [/mm] A [mm] \vee x\in A\cap [/mm] B) [mm] \wedge [/mm] (x [mm] \not\in [/mm] B [mm] \vee [/mm] x [mm] \in [/mm] A [mm] \cap [/mm] B)
Und nun weiß ich nicht wie ich mit der und/oder- verknüpfung und den vielen Klammern weiterkommen soll....

Bezug
                                        
Bezug
Mengenoperationen: Antwort
Status: (Antwort) fertig Status 
Datum: 16:41 Fr 17.10.2008
Autor: angela.h.b.


> Anfangsproblem ist immer noch C / ((A/B) [mm]\cup[/mm] (B/A))
>  Nach zwei zwischenschritten komme ich dann zu der Aussage
> x [mm]\in[/mm] C [mm]\wedge[/mm] ((x [mm]\not\in[/mm] A [mm]\vee x\in A\cap[/mm] B) [mm]\wedge[/mm] (x  [mm]\not\in[/mm] B [mm]\vee[/mm] x [mm]\in[/mm] A [mm]\cap[/mm] B))

Hallo,

es gibt sicher mehrere Möglichkeiten, wie man weiterkommen kann. Z.B.:


==>

(x [mm]\in[/mm] C [mm]\wedge[/mm] (x [mm]\not\in[/mm] A [mm]\vee x\in A\cap[/mm] B) )[mm]\wedge[/mm] (x  [mm]\not\in[/mm] B [mm]\vee[/mm] x [mm]\in[/mm] A [mm]\cap[/mm] B)

==>

[(x [mm]\in[/mm] C [mm]\wedge[/mm] x [mm]\not\in[/mm] A) [mm]\vee (x\in C \wedge x\in A\cap[/mm] B) ][mm]\wedge[/mm] (x  [mm]\not\in[/mm] B [mm]\vee[/mm] x [mm]\in[/mm] A [mm]\cap[/mm] B)

==>

[mm] [x\in [/mm] ( C \ A )  [mm] \vee x\in (C\cap [/mm] A [mm] \cap [/mm] B)] [mm] \wedge[/mm] [/mm] (x  [mm]\not\in[/mm] B [mm]\vee[/mm] x [mm]\in[/mm] A [mm]\cap[/mm] B)

==> ...

Gruß v. Angela


Bezug
                                                
Bezug
Mengenoperationen: Heureka
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 16:55 Fr 17.10.2008
Autor: Aquilera

Ich habs!
Dankedankedanke

(ob ich das jetzt auch noch abgabefein hinbekomme?! :) )

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


^ Seitenanfang ^
www.vorhilfe.de