二、性质命题的推理