alt Hacker NewsIt's true precisely because it's vacuous. If you quantify over the empty set, anything is true.
In other words, the statement "for every x in {} it holds that <anything>" is always true.
It's true precisely because it's vacuous. If you quantify over the empty set, anything is true.
In other words, the statement "for every x in {} it holds that <anything>" is always true.
What can be confusing is that the statement "for every x in {}, it doesn’t hold that <anything>" is always true as well.