5.3 从“是”推出“应当”