我理解是4和5都行 很典型的全量否定格式
但中文表述的话 一般会加个 都 字
至于数学上哪个更规范 数学上应该没有规定过哪种中文描述更规范 这一点很难确认

【 在 weiminglake 的大作中提到: 】
: 那就是说，最最规范的表达应该是：
: 存在A,有B.
: 任意A,都没有B.
: 加个“都”字？
--
FROM 142.179.74.*