判断——集合推理