逻辑思维-排序推导