Principio del tercero excluido

"Ley de la lógica, según la cual de dos enunciados, cuando uno niega lo que se afirma en el otro, uno de ellos es imprescindiblemente verídico. La formuló Aristóteles. Así, de los dos enunciados: “el Sol es astro” (A es B) y “el Sol no es astro” (A no es B), uno es imprescindiblemente verídico. Teniendo en cuenta los enunciados de este género, la lógica formal tradicional a menudo formulaba la ley del tercero excluido del siguiente modo: “A es B, o no es B” (lo tercero no está dado: tertium non datur). Esta ley a menudo se utiliza en el proceso de demostración, en particular, en las demostraciones por reducción al absurdo.
Diccionario de filosofía · 1984:422" Filosofía.org