思维导图

演绎推理：