8.2.2 正确性演绎推理