演绎推理举个例子