Law of Excluded Middle/Also known as

Law of Excluded Middle: Also known as

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).
• the principle of bivalence.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): bivalence (principle of)
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): bivalence, principle of