a制约b制约c 所以a可以制约c 为何不符合逻辑学