推理与证明练习题2