演繹推理

　　見推理。