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

Question

• U = {fleegles, snurds, thingamabobs}
• F(x): x 是 fleegle
• S(x): x 是一个 snurd
• T(x): x 是一个 thingamabob

如果任何 fleegle 是 snurd 那么它也是 thingamabob。

解决方案：

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

Answer 1

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