Beweis: A = B < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 09:23 Di 22.08.2017 | | Autor: | wiwi2k |
| Aufgabe | | Beweise: M = N [mm] \gdw [/mm] M [mm] \subset [/mm] N oder N [mm] \subset [/mm] M |
Hallo zusammen,
als (Teil-)beweis für die Aufgabe wurde angegeben:
Sei x [mm] \in [/mm] M [mm] \Rightarrow [/mm] x [mm] \in [/mm] N
Sei x [mm] \in [/mm] N [mm] \Rightarrow [/mm] x [mm] \in [/mm] M
Somit gilt: M = N.
Den Beweis selbst verstehe ich. Allerdings ich habe eine Frage zur Nutzung des [mm] \Rightarrow. [/mm]
Ich habe gelernt, die Folgerung A [mm] \Rightarrow [/mm] B ist auch dann wahr, wenn B wahr aber A falsch ist.
Das würde doch auf diesen Fall bezogen aber bedeuten, dass beispielsweise die Aussagen x [mm] \in [/mm] M [mm] \Rightarrow [/mm] x [mm] \in [/mm] N auch dann wahr sind, wenn x [mm] \not\in [/mm] M aber trotzdem x [mm] \in [/mm] N.
Dies bedeutet doch aber in letzter Konsequenz, dass ich die Folgerung, die oben gezogen wurde, nicht ziehen kann, da in diesem Fall die Mengen nicht gleich wären (da x dann nicht in N aber in M).
Kann mir vielleicht irgendjemand helfen, diese Frage zu klären?
Vielen Dank
Wiwi
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 10:23 Di 22.08.2017 | | Autor: | Diophant |
Hallo,
> Beweise: M = N [mm]\gdw[/mm] M [mm]\subset[/mm] N oder N [mm]\subset[/mm] M
Der zu beiesende Satz ist schon falsch. Da wird es schwierig, irgendwelche Verständnisfragen zu klären. Kann es sein, dass das Oder ein Und sein soll bzw. der zu beweisende Satz so heißt:
[mm]M=N \gdw\ M \subseteq{N}\ \land\ N\subseteq{M}[/mm]
?
Gruß, Diophant
PS (@Admins): das wedge-Symbol im Formeleditor ist verschwunden und funktioniert auch nicht mehr.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 10:20 Do 24.08.2017 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
