Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Mengenlehre und der Implikationspfeil

Mengenlehre und der Implikationspfeil

Universität / Fachhochschule

Sonstiges

Tags: Aussagenlogik, Mengenlehre, Sonstig

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
matheistderhammer

matheistderhammer aktiv_icon

12:55 Uhr, 05.11.2017

Antworten
Hey,

Wir haben gerade das Thema Mengenlehre und davor hatten wir das Thema Aussagelogik, nun kann es sein das ich diese Themen zu sehr miteinander verknüpfe.

Wir sollten nun sagen ob der Term stimmt oder nicht....

AB und C seien Mengen

A ∪ B=ACB=C

Ich bin nun so vorgegangen, dass A ∪ B=AC Falsch ist.

Da dort nun der Implikationspfeil steht wäre es ja insgesamt immer eine Wahre Aussage wenn der erste Teil Falsch ist.

B=C würde ich ebenfalls nicht zustimmen, da die Mengen nicht die selben sein können....

Aus diesem Grund würde ich jetzt sagen, dass die gesamt Aussage WAHR ist aufgrund der Implikation.

Nur kann man das so einfach ? Der Implikationspfeil kann ja auch bedeutet "Daraus folgt",
gibt es also mehrere Bedeutungen für diesen Pfeil ? Oder wie kann ich das verstehen ?

Ist meine Denkweise richtig oder war es nicht klug die beiden Themen miteinander zu verbinden ?

Vielen Dank im Voraus.

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Hierzu passend bei OnlineMathe:

Online-Übungen (Übungsaufgaben) bei unterricht.de:
 
Online-Nachhilfe in Mathematik
Antwort
DrBoogie

DrBoogie aktiv_icon

12:56 Uhr, 05.11.2017

Antworten
"Ich bin nun so vorgegangen, dass A ∪ B=A ∪ C Falsch ist. "

Wieso das denn? Das kannst Du doch nicht wissen.
Antwort
DrBoogie

DrBoogie aktiv_icon

13:02 Uhr, 05.11.2017

Antworten
Eigentlich muss Du umgekehrt vorgehen: davon ausgehen, dass AB=AC gilt und dann B=C zeigen.
Bzw. ein Gegenbeispiel zu dieser Aussage konstruieren, denn sie ist klar falsch. Z.B. A=B=, C=.
matheistderhammer

matheistderhammer aktiv_icon

13:05 Uhr, 05.11.2017

Antworten
Genau und meine Frage war, ob der Pfeil "→ " Irgendetwas mit dem Pfeil "→ " aus der Implikation, aus der Aussagenlogik, zu tun hat.
Antwort
DrBoogie

DrBoogie aktiv_icon

13:46 Uhr, 05.11.2017

Antworten
Es ist grundsätzlich derselbe Pfeil.
Das heißt trotzdem nicht, dass Du jetzt auf Aussagenlogik zurückgreifen musst.
Normalerweise werden die Implikationen mit den Methoden bewiesen, die mit dem konkreten Gebiet zu tun haben, in diesem Fall ist es Mengentheorie.
Also reicht hier konkret ein Gegenbeispiel, um zu sagen, dass die Implikation nicht gilt.
matheistderhammer

matheistderhammer aktiv_icon

14:22 Uhr, 05.11.2017

Antworten
Alles klar,
bei einem Gegenbeispiel würde ich jetzt einfach drei beliebige Mengen mit beliebigen Elementen nehmen und die oben genannten Terme durchrechnen.

Dann reicht dies schon als Gegenbeispiel? :-)
Antwort
DrBoogie

DrBoogie aktiv_icon

14:28 Uhr, 05.11.2017

Antworten
Wenn Du zeigst, dass die Aussage links vom Pfeil gilt und rechts vom Pfeil nicht, hast Du die Implikation widerlegt.
Frage beantwortet
matheistderhammer

matheistderhammer aktiv_icon

15:46 Uhr, 05.11.2017

Antworten
Ahhh okay ich habe verstanden vielen vielen Dank!

Der Beweis mit Gegenbeispiel funktioniert ja nur wenn es falsch ist.
Was für ein Beweis kann ich anwenden, wenn die gesamte Aussage stimmt?
Antwort
DrBoogie

DrBoogie aktiv_icon

15:47 Uhr, 05.11.2017

Antworten
"Was für ein Beweis kann ich anwenden, wenn die gesamte Aussage stimmt? "

Kommt auf die Aussage an.

Frage beantwortet
matheistderhammer

matheistderhammer aktiv_icon

16:06 Uhr, 05.11.2017

Antworten
(AB=AC)(AB=AC)B=C
Ich bin mehrere verschiedene Mengen durchgegangen und es stimmt bisher immer ...

Kann man dies vlt durch einen direkten Beweis also durch Umformen beweisen ?