6.2 简单判断的演绎推理方法