Prädikatenlogik. Aussagen in Worte umschreiben. Bsp. ∀x : ( M(x) → S(x) )

Question

Frage
Meine Antworten unterscheiden sich von der, des Buches. 
Insbesondere bei a) und c).

Inwiefern sind meine Lösungen falsch ausformuliert und inwiefern verändern Sie die Aussage?

Aufgabe:

Gegeben sind die einstelligen Prädkate mit den Symbolen

M: " _ ist ein Mann"
S: " _ ist ein Schwein"

Formuliere die folgenden prädikatenlogischen Aussagen in Worte:

a) ∀x : ( M(x) → S(x) )

Meine Lösung: Für alle x gilt, x ist ein Mann, daraus folgt x ist ein Schwein. 

Buch Lösung: Für alle Dinge x gilt: Wenn x ein Mann ist, dann ist x ein Schwein


b) ∀x : ( M(x) Λ S(x) )

Meine Lösung: Für alle x gilt, x ist ein Mann und x ist ein Schwein.

Buch Lösung: Für alle Dinge x gilt, x ist ein Mann und x ist ein Schwein.


c) ∃x : ( M(x) Λ S(x) )

Meine Lösung: Es existiert ein x, für das gilt, x ist ein Mann und x ist ein Schwein.


Buch Lösung: Es gibt ein Ding x, für das gilt, x ist ein Mann und ein Schwein.

Answer 1

  a)  Alle Männer sind Schweine.

  c) kannst du auch sagen:  Es gibt einen Mann, der auch ein Schwein ist.

  "  Der Eber ist oft missgestimmt

    Weil seine Kinder Ferkel sind.

    Nicht seine Frau, die Sau, alleine

     auch die Verwandten;  alles Schweine ... "