Потому что так работает математика.
∀x ∈ X: p(x)
- это то же самое, что
¬∃x ∈ X: ¬p(x)
Или в Ruby:
friends.all?(&:insane?)
- то же самоекак:
!friends.any? { |friend| !friend.insane? }
Или по-человечески:
Все мои друзья безумны.
- это то же самое, что и
У меня нет друга, который не безумен.
Все вышеперечисленное все равно эквивалентно, даже в угловом случае, когда я не делаюесть друзья.