1-2推理及其有效性