3、习题(演绎推理上)