演绎推理的4种类型是：关系推理、命题推理、三段论推理和 （）。