逻辑导出