>>14414323>>negation of "for all" is "there exists at least one" instead of "there are none" which makes more senseYou don't know what you're talking about. Negation of "for all" is "not for all".
You're probably thinking of something like this
neg("For all things P holds") = "There is a thing where P does not hold"
It is not as you're describing.
