3 ms·
What can be confusing is that the statement "for every x in {}, it doesn’t hold that <anything>" is always true as well.
by layer8 28d ago
What can be confusing is that the statement "for every x in {}, it doesn’t hold that <anything>" is always true as well.
- tim-kt 28d agoI mean, yes. But "it doesn't hold that <anything>" is equivalent to "it holds that <not anything>" and since not anything is also anything... Ah, I see.