互斥的兩個事件一定是互逆

不一定。

互逆事件首先是互斥事件，反之未必.

互逆事件是“無我有你，無你有我”的關係，而互斥事件是“有我無你，有你無我”的關係.

從集合意義來說，“互逆”不僅交集爲空集（即“互斥”），而且並集爲全集但“互斥”之並集不一定爲全集.

互斥：計算機系統中，多個併發執行的線程之間由於競爭某些共享資源也可能存在與此類似的相互制約關係，線程之間這種因共享資源而產生的制約關係稱爲互斥。互斥條件：一個資源每次只能被一個進程使用。