Logic 将以下语句表示为一阶谓词逻辑中的公式

Let:
•B（x）表示“x有分叉角”
•D（x）表示“x患有皮肤无力症”
•F（x）表示“x为女性”
•M（x，y）表示“x是y的母亲”
•S（x）表示“x是Syldavian”
•U（x）表示“x是独角兽”

如何表达
1） “患有皮肤无力症的独角兽妈妈会将这种疾病传给他们的所有后代”

2） “任何母亲是希尔达维安人的独角兽都患有皮肤无力症”
在一阶谓词逻辑中

我的尝试
1）
存在一个x，对于所有y，
如果x是y的母亲
x是独角兽
x有皮肤无力，
这意味着你也有皮肤衰弱。

∃x∀y（（M（x，y）∧ U（x）∧ D（x））->D（y））

2）
对于所有x和y，
如果y是独角兽
x是y的母亲，
x是Syldavian， 这意味着y患有皮肤无力症

∀x∀y（（U（y）∧ M（x，y）∧ S（x））->B（y））

任何帮助都将不胜感激，尤其是在何时使用∀ 什么时候使用∃. 谢谢。

“患有皮肤无力症的独角兽妈妈会将这种疾病传给所有的后代。”

∀x∀y（（M（x，y）∧ U（x）∧ D（x））->D（y））

“任何母亲是希尔达维安人的独角兽都患有皮肤无力症”

∀x∀y（（M（x，y）∧ U（y）∧ S（x））->D（x））

这里没有“存在”或“至少一个”的陈述。这些声明是关于所有独角兽的，所以我们不使用∃.