第四节 性质判断的变形推理