Benötigen Sie Hilfe bei der Übersetzung aus dem Englischen in die Prädikatenlogik

Zu 1: Das ist ein bisschen zweideutig, aber es scheint, dass sich das „sie“ in „keiner von ihnen“ auf die Menschen bezieht, die Bella lieben, und das müssen Sie sagen$\neg F(x)$innerhalb des Geltungsbereichs des ersten Quantifizierers. Auch der$\lor$Sie haben gegen Ende sollte ein sein$\land$

Zu 2: Bella spricht weder Französisch noch Deutsch und übersetzt so$\neg (F(b) \lor G(b))$

Ich würde "entweder ... oder" als exklusiv interpretieren, oder was bedeutet, dass Sie den Fall ausschließen müssen, dass sie alle drei lieben. Darüber hinaus ist es ein Attribut der Menschen, die Gänseblümchen lieben, kein Französisch zu sprechen, während Ihr erster Versuch x mit einem neuen Quantifizierer wieder einführt (was bedeutet, dass es eine andere Variable ist). Das sagst du also$\neg\exists x: F(x)$was äquivalent ist$\forall x:\neg F(x)$was bedeutet, dass überhaupt keine Person Französisch spricht, im Vergleich zu Menschen, die Gänseblümchen lieben, sprechen kein Französisch.

Oh, und ich denke, das "aber" wäre ein logisches und. Es gibt also jemanden, der Gänseblümchen liebt und Deutsch spricht UND das andere Zeug. Nicht oder das andere Zeug.

Mein Versuch (Spoiler):

$$\forall x [L(x,b)\rightarrow \left((L(x,c)\vee L(x,d))\wedge\neg(L(x,c)\wedge L(x,d)\right) \wedge \neg F(x)]\wedge \exists y[L(y,d)\wedge G(y)]$$

Der zweite sieht neben dem Entweder-oder-wieder gut aus. Warum kann sich Gänseblümchen nicht selbst lieben? Das steht nicht in der Aussage.