Ley del tercero excluido:
Ley de la lógica [formulada por Aristóteles], según la cual de dos proposiciones en las que una niegue lo que se afirma en la otra, una de ellas es necesariamente verdadera. […] “A es B o no B”, el tercero no se da.
Diccionario filosófico