翻译推理必要条件放箭头前还是后