常用的逻辑推理方法