Wie stellt man die Aussage "Einige Säugetiere sind Menschen" anschaulich Venn-Diagramm dar? Handelt es sich um eine Schnittmenge?

Hallo, zusammen. Mir ist heute da ein kleines Problem unterlaufen, dass meinem Kopf etwas zu schaffen macht. Vielleicht verstehe ich auch nur etwas falsch. Es geht um folgendes:

Angenommen wir haben die Aussage: "Einige Säugetiere sind Menschen" vor uns. Es ist naheliegend, dass hiermit bezeichnet wird das nur ein Teil der Menge der Säugetiere eben Menschen sind, während ein anderer Teil der Säugetiere keine Menschen sind. Wie stelle ich diese Situation im Venn-Diagramm dar? Meine Intuition hatte folgenden Gedankengang:

Da ich weiß, dass "Alle Menschen sind Säugetiere" gilt, muss die Menge der Menschen vollständig innerhalb der Menge der Säugetiere enthalten sein. Trotzdem zeigt mir die Musterlösung, dass für "Einige Säugetiere sind Menschen" eine Schnittmenge gezeichnet wird.

Wie aber soll das funktionieren? Wenn es tatsächlich eine Schnittmenge wäre, dann würde ich ja behaupten, dass nur die Menschen innerhalb der Schnittmenge mit der Menge der Säugetiere eben Säugetiere sind, während die anderen Menschen keine Säugetiere sind. Demnach wäre also das Venn-Diagramm dafür falsch.

Verstehe ich hier etwas falsch? Oder ist die Musterlösung falsch?

Mathematik, Hilfestellung, schliessen, denken, Immanuel Kant, Kant, Logik, Menge, problemchen, Schluß, schwer, Urteil, Vernunft, verstand, Mengenlehre, Aussagenlogik, Schlussfolgerung, teilmenge, Schnittmenge, Prädikatenlogik
Eindeutigkeit und Aussagenlogik?

Ich hab eine Aufgabe zum Beweisen von zwei verschiedenen Aussagen bekommen, hab auch schon versucht sie zu lösen, bin mir allerdings unsicher, ob ich hier richtig liege oder evtl. etwas falsch an meinen Überlegungen ist.

Die Aufgaben lauten:
"a) Beweisen Sie: ∃! x ∈ Q : ∀y ∈ Q : x ⋅ y = y. Sie dürfen dafür Ihre Schulkenntnisse der Grundrechenarten in Q verwenden. Hinweis: Sie könnten zunächst zeigen, dass es ein x mit den gesuchten Eigenschaften gibt, und danach zeigen, dass keine andere als die von Ihnen gefundene Zahl die gesuchte Eigenschaft hat.
b) Gilt ∀y ∈ Q : ∃! x ∈ Q : x ⋅ y = y? Begründen Sie Ihre Antwort."

Meine Lösung bis jetzt wäre:
zu a) Es gibt genau eine rationale Zahl x, die diese Gleichung löst und zwar x = 1. Für y kann eine beliebige rationale Zahl gewählt werden, z.B. y = -5/3. Infolge des Einsetzens erhält man 1 * (-5/3) = -5/3, was y entspricht. Würde man z.B. für x = -1 wählen und mit y = -5/3 multiplizieren, ergibt sich 5/3, was nicht mehr y entspricht.
zu b) Die Gleichung gilt, da man für jede rationale Zahl y genau eine rationale Zahl x findet, sodass x*y=y gilt. Wie in a) veranschaulicht wäre das x=1.

Ich bin mir auch unsicher, ob a) und b) nicht dieselben Aussagen sind und dass nur die Quantoren vertauscht sind? Aber auch was meine Begründungen angeht, bin ich mir unsicher, ob diese ausreichend sind.
Ich würde mich freuen, wenn mir jmd helfen könnte :]

Logik, Aussagenlogik, Beweis

Meistgelesene Beiträge zum Thema Aussagenlogik