上述议论中运用的推理，若还原为典型形式，则属于（）