Aussagenlogik, Sätze umwandeln

Question

Hallo,
Ich fange bald eine Umschulung und damit Ausbildung an, zur Vorbereitung auf den schulischen Teil, haben wir Material bekommen das wir durchgehen können.
Darunter auch Aussagenlogik, Schule ist bei mir schon einiges her.
Vlt. kann mir jmd. hier kurz Abhilfe leisten.

Wandel die folgenden Aussagen in äquivalente Aussagen mit anderem Quantor
um. Das heißt, aus einer Aussage „Alle…" wird
„Es gibt kein..." und umgekehrt.
1Alle Tiere sind Lebewesen.
2. Es gibt Vögel, die nicht fliegen können.
3 Es gibt keine Fische, die nicht schwimmen können.
4 Nicht alle Insekten haben Flügel.
Ansatz:
Ich hoffe, ich habe das korrekt verstanden, das ich lediglich den Satz abändern muss.
Wenn ich der Aufgabenstellung folge:
1. Es gibt keine Tiere die Lebewesen sind
2. Es gibt keine Vögel, die nicht fliegen können.
3. Alle Fische, können nicht schwimmen.
4. Alle Insekten haben Flügel.

Answer 1

Wandel die folgenden Aussagen in äquivalente Aussagen mit anderem Quantor um.

Dabei soll die neue Aussage glecihwertig zur alten Aussage sein.

Alle Tiere sind Lebewesen.

...

Es gibt keine Tiere die Lebewesen sind

Die zwei Aussagen sind nicht gleichwertig.

Die Aussage "Für alle A gilt Β" ist gleichwertig zu "Es gibt kein A, für dass B nicht gilt".

Die Aussage "Es gibt ein A, für das Β gilt" ist gleichwertig zu "Nicht alle A erfüllen B nicht".

Comments

Also muss ich die so umstellen, dass trotz Negation zum Original her noch Sinn ergeben.

Also hier dann „Es gibt keine Tiere die nicht/keine Lebewesen sind.“ ?

---

Also hier dann „Es gibt keine Tiere die nicht/keine Lebewesen sind.“ ?

Richtig.

---

Super, vielen Dank für die schnelle Hilfe dann.