§2.4 性质命题直接推理