互斥的两个事件一定是互逆

不一定。

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

互逆事件是“无我有你，无你有我”的关系，而互斥事件是“有我无你，有你无我”的关系.

从集合意义来说，“互逆”不仅交集为空集（即“互斥”），而且并集为全集但“互斥”之并集不一定为全集.

互斥：计算机系统中，多个并发执行的线程之间由于竞争某些共享资源也可能存在与此类似的相互制约关系，线程之间这种因共享资源而产生的制约关系称为互斥。互斥条件：一个资源每次只能被一个进程使用。