Logic 一阶逻辑公式

如果我想用一阶逻辑表示“半径最小的集合中的元素的值为0”，下面是对的吗

∀ e1∈ s∀ e2∈ S.半径e1≤ 半径e2⇒ 值e1=0

变量是否正确量化

谢谢

我想你想要一份工作

---

\存在e_1。（\t对于所有e_2半径（e_1），如果没有具有最小半径的元素，则您所写的也是正确的。如果需要，则您是正确的；如果不需要，则需要添加一个这样的子句：

(\forall e1 \in S. \forall e2 \in S. Radius e1 <= Radius e2 --> Value e1 = 0) \and (\exists e1 \in S. \forall e2 \in S. Radius e1 <= Radius e2)

---

（\forall e1\in S.\forall e2\in S.Radius e1 Value e1=0）和（\exists e1\in S.\forall e2\in S.Radius e1为了用括号澄清，您所写的内容通常被认为是指：

\forall e1 \in S. (\forall e2 \in S. (Radius e1 <= Radius e2 --> Value e1 = 0))

为了使先行项现在为真，
e1
的半径必须小于或等于each（与any相反）其他半径，这似乎是您想要的。
这是错误的，因为问题声明中说可能有多个半径最小的元素，它们的值都应该为0。啊，对不起，我没有得到值和半径之间的区别。谢谢。这与原来的问题相同。此声明断言值每个元素的e都是0。不要投票否决他b/c你认为他犯了错误！投票否决应该保留在答案与i.m.h.o.投票支持的问题无关的意见b/s的情况下：）嗯，y.h.o.不同于m.h.o.我想提请未来读者注意正确的答案。事实上，我同意卢基：）
\forall e1 \in S. (\forall e2 \in S. Radius e1 <= Radius e2) --> Value e1 = 0