Law of Excluded Middle/Also known as

Proof Rule
The law of (the) excluded middle is otherwise known as:
 * (Principium) tertium non datur, Latin for third not given, that is, a third possibility is not possible
 * Principium tertii exclusi, Latin for the Principle of the Excluded Third (PET).