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
Aussagenlogik Aufgabe Gültigkeit Argument?

Morgen, habe eine Frage zu meiner Lösung für folgende Aufgabe, da ich keine Lösung dafür im Netz finde und absolut niemanden in meinem Umfeld danach fragen kann:

„ Überprüfen Sie, ob es sich bei der folgenden Argumentation um einen gültigen Schluß handelt:

Der Angeklagte hat an einer Sitzblockade teilgenommen.

Wenn man an einer Sitzblockade teilnimmt, dann bewirkt man ein bestimmtes Ver- halten (die Fahrer der Milita ̈rtransporter mu ̈ssen anhalten).

Wenn man Gewalt anwendet und (somit) ein bestimmtes Verhalten bewirkt, macht man sich der No ̈tigung schuldig. (§ 240 StGB).

Also hat der Angeklagte sich der Nötigung schuldig gemacht.

Welche Prämisse (abgesehen von ”Wer an einer Sitzblockade teilnimmt, begeht eine Nötigung“, weil das ja erst durch diesen Schluß bewiesen werden soll) muß man zusätzlich annehmen, damit es sich um einen gültigen Schluß handelt?

Legende

S: „der Angeklagt/man nimmt an einer Sitzblockade teil“

V: „man bewirkt ein Verhalten“

M: „die Fahrer der Militärfahrzeuge müssen anhalten“

G: „man wendet Gewalt an“ 

N: „Der Angeklagte/ man macht sich der Nötigung schuldig“

Meine „Rekonstruktion“ (falls es das ist) wäre wie folgt. Ist das so korrekt, oder habe ich einen Fehler gemacht?

Ich will nur nochmal anmerken, dass ich mich nur aus Interesse damit beschäftige.

Bild zum Beitrag
Logik, Philosophie, Aussagenlogik, Sprachphilosophie

Meistgelesene Fragen zum Thema Aussagenlogik