C++ 离散数学到c++；

我不确定我是应该在这里还是在数学网站上提问，但我会在这里试一试。分配如下：用户输入10个数字，即域D。我需要评估该语句：

---

对于D中的所有x，y，x这意味着x和y都可以接受集合D中的每个值

在伪代码中：

for i = 1:10
   for j = 1:10
       x = D[i]
       y = D[j]
       test x < y OR y < 2 * x
   loop
loop

i=1:10时的

对于j=1:10
x=D[i]
y=D[j]
测试x
对于所有的x，y在D，x中的语句都是
？这毫无意义。你能再检查一遍吗？@Beta我写不出宇宙量词和存在量词。这里：斧头，席，西娥∀（x，y）∈ D|xok。非常感谢。我不明白。因此，如果我有x^2+y^2=z^2，那么x、y和z也将代表集合中的每个数字？@healix：每当你看到“forall”时，你都需要测试整个集合。（或者在证明中使用分析方法而不是暴力测试）我不确定是否暗示了
x==y
。然而，当
i==j
时就会出现这种情况。现在很明显，
x<2*x
所以在这个特殊的情况下这并不重要。@MSalters:如果要排除这个情况，我希望看到在forall中明确说明
x/=y
。
for i = 1:10
   for j = 1:10
       x = D[i]
       y = D[j]
       test x < y OR y < 2 * x
   loop
loop