tertium non datur (English, phrase)
expansion: tertium non datur
Senses:
glosses: For every proposition, either it is true or its negation is true.
Forms: