三种基本推理方法