Put the same point the other way around: If I can imagine A without B, then A and B have to be logically distinct things.
把这点推而广之,如果我可以想象A在没有B的情况下存在,那么A和B在逻辑上是相互独立的
耶鲁公开课 - 死亡课程节选
应用推荐
模块上移
模块下移
不移动