西安电子科技大学$2.5.1存在指定规则软件学院例如：oe如果“盒子里面存在黑球”这个命题成立，那么在盒子里面至少可以找到一个黑色的球。西安电子科技大学 §2.5.1 存在指定规则 软件学院 例如： 如果“盒子里面存在黑球”这个命题成 立，那么在盒子里面至少可以找到一 个黑色的球