Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Logik und Mengenlehre 01

Logik und Mengenlehre 01

Universität / Fachhochschule

Sonstiges

Tags: logik, Mengenlehre

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
tommy40629

tommy40629 aktiv_icon

16:12 Uhr, 15.01.2017

Antworten
Hallo!

Müssten in der Aufgabe nicht Annahmen über die Mengen "M" und "R" getroffen werden, quasi eine Fallunterscheidung?

Und welche Annahmen werden bei solchen Aufgaben allgemein zu den vorkommenden Mengen getroffen?

Sind die immer gleich oder immer ungleich?



Aufgabe:

Aussage 01: Alle Europäer sind Rechtshänder.
Aussage 02: Alle Rechtshänder sind Mechaniker.

Schlussfolgerung: einige Mechaniker sind Europäer

Kurzschreibweise:

Aussage 01: Jedes E ist ein R.
Aussage 02: Jedes R ist ein M.

Schlussfolgerung: Es gibt M, die ein E sind.

Für die Menge R kann ja gelten: RE.
Wenn gilt: R>E, dann gibt es R, die E sind. Ansonsten ist jedes R ein E bei, R=E

Und für die Menge M kann gelten: MR.
Wenn gilt: M>R, dann gibt es M, die R sind. Ansonsten ist jedes M ein R bei, M=R

Wenn wir annehmen, das gilt: E=R=M, dann ist jedes M ein E.
Man kann aber auch sagen, dass es M gibt, die E sind, wegen der Definition der Existenzaussage.

Gilt nun: R>E und R>MR=M, dann stimmt es nicht, dass jedes M ein E ist, dann muss man unbedingt sagen, dass es M gibt, die E sind.






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
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.