a的最小值为b等价表述应该是：a≥b且某情况下能取到b，这个观点是严谨的，函数的最小值也是这么表述的：一般的，设函数y=f(x)的定义域为I,如果存在实数满足：⒈对于任意的x∈I,都有f(x)≥M;⒉存在x∈I,使得f(x。)=M.那么，我们称是函数的最小值。 这些都说明了最小值与“≥”并不等值。 但是
1.C至少一个的反面为什么是一个都没有啊？？？ C至少一个↔（C≥1个，并且某情况下C=1个），既然如此（并非C至少一个）↔并非（C≥1个，并且某情况下C=1个）↔（并非C≥1个或者并非存在某情况使得C=1个），这种情况下C至少一个的反面即（并非C至少一个）是如何推出C=0个的？？？
2.按照这种道理：至少有5个学生获得了这个奖杯↔获得这个奖杯的学生的数量D≥5且存在某情况使得D=5.后半句的
“存在某情况使得D=5”到底是什么意思啊？怎么感觉这种理解在自然语言里这么难以解释、理解？
希望各位大佬能够帮忙解释一下，谢谢！
1.C至少一个的反面为什么是一个都没有啊？？？ C至少一个↔（C≥1个，并且某情况下C=1个），既然如此（并非C至少一个）↔并非（C≥1个，并且某情况下C=1个）↔（并非C≥1个或者并非存在某情况使得C=1个），这种情况下C至少一个的反面即（并非C至少一个）是如何推出C=0个的？？？
2.按照这种道理：至少有5个学生获得了这个奖杯↔获得这个奖杯的学生的数量D≥5且存在某情况使得D=5.后半句的
“存在某情况使得D=5”到底是什么意思啊？怎么感觉这种理解在自然语言里这么难以解释、理解？
希望各位大佬能够帮忙解释一下，谢谢！
