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

不一定。

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

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

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

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