抽象逻辑