是不是只有一种逻辑？

要么不是，逻辑上是一样的，也就是说至少有一个成立，没有人推一个。要么只成立一家，要么愿意推一家。