示例1
forall x,y in set {1,…,5} & X <> y => not m.temps(x) = m.temps(y)
示例2
exists i,j in set inds m.temps & i <> j and m.temps(i) > 400 and m.temps(j) > 400
什么＆lt;＆gt;那些句子意味着什么？
答案 0 :(得分：3)
它只是意味着＆＃34;不等于＆＃34;。所以＆＃34; x＆lt;＆gt; ý＆＃34;与＆＃34;相同而不是x = y＆＃34;。