基础逻辑