图形推理定义判断演绎推理