”上述议论中隐含的演绎推理，若将其恢复为典型形式，则属于（）