“这手机是修过的，不是没修过的，没修过的不是这手机。”这段话是运用了（）的直接推理。