通过改变前提的质和谓项从而得出结论的直接推理，叫作______。