So basically, two statements are being compared (and said to be equivalent) by the equals sign.
The first statement is “All x: Die(x).” For every x, x dies. Or, replacing the label ‘x’ by the label ‘that person’: Every person dies.
The second statement is “Not exist x: Not Die(x).” There does not exist a person who doesn’t die.
This equation describes the fact that if nobody’s immortal, everyone dies.
So basically, two statements are being compared (and said to be equivalent) by the equals sign.
The first statement is “All x: Die(x).” For every x, x dies. Or, replacing the label ‘x’ by the label ‘that person’: Every person dies.
The second statement is “Not exist x: Not Die(x).” There does not exist a person who doesn’t die.
This equation describes the fact that if nobody’s immortal, everyone dies.