Consider the following proposition P. "socrates will die". For this proposition, the rule of exclusion, "Socrates either dies or does not...
https://lovelyhelen.muragon.com/entry/2291.html