性质判断直接推理是一种（）推理。