展开 比例推理的定义和性质是什么