一 逻辑前提