简单判断的演绎推理方法