将英语翻译成逻辑表达的问题

Question

• U = {fleegles、snurds、thingamabobs}
• F(x): x 是一个flegle
• S(x): x 是一个snurd
• T(x): x 是一个东西

如果任何flegle是一个snurd，那么它也是一个thingamabob。

解决方案：

我看不懂解，为什么不写成（F(x)➡️S(x))➡️T（x)

Answer 1

您提出的解决方案暗示了未说明的事情；例如，如果某个 x 不是fleegles，则 F(x) => S(x) 为真，那么您的陈述需要 T(x)，但我们从未说过非fleegles 是否必须是 thingamabobs。