从一个或多个前提推导出一个结论；然后再从这个结论推导出一个新的结论，这种结构被称为（）。