演繹推理的方法。