Harry Potter and the Methods of Rationality is a wonderful work of fan fiction by AI researcher and decision theorist Eliezer Yudkowsky. In Chapter 39, this exchange takes place between Dumbledore and Harry:
"âĶI don't want everyone to die, Harry!"
"You just don't want anyone to be immortal," Harry said with considerable irony. It seemed that elementary logical tautologies like
All x: Die(x) = Not Exist x: Not Die(x)
were beyond the reasoning abilities of the world's most powerful wizard.
(Harry is a bit more intelligent in this work, in case you failed to notice.)
My question pertains to that tautology. He seems to have converted individual logic notation symbols or groups of symbols to single English words. I can't read logical notation in the first place, so even if I could find examples of similar notation I probably wouldn't be able to parse them without several hours of study. And it may be that you can't notate this particular statement without getting creative with the syntax in ways only a proper math/logic expert could do intelligently.
So I ask you wonderful people to take it in both directions for me: How would you notate that statement properly? And then how would you read it aloud in spoken English?