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
<> 그 문장에서 무엇을 의미합니까?
A
답변
3
단지 "같지 않음"을 의미합니다. 따라서 "x <> y"는 "not x = y"와 같습니다.
고마워요! 방금 최근에 vdm 매뉴얼을 읽으면서 그것을 스스로 발견했습니다. :디 – Mark