Ley del tercero excluido Ley de la lógica, 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. La formuló por primera vez Aristóteles. En notación simbólica: A ∨ A (donde A denota...
More
Ley del tercero excluido Ley de la lógica, 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. La formuló por primera vez Aristóteles. En notación simbólica: A ∨ A (donde A denota cualquier proposición; ∨, signo de disyunción, y el trazo sobre el símbolo, signo de negación). Así, de las dos proposiciones: “El Sol es una estrella” (A es B) y “El Sol no es una estrella” (A no es B), una es necesariamente verdadera. Teniendo en cuenta este género de proposiciones, la lógica formal tradicional formulaba a menudo la ley del tercero excluido del modo siguiente: “A es B o no B” (el tercero no se da: tertium non datur). En cambio, la formulación citada al principio, se refiere a las proposiciones de cualquier forma. Esta ley se emplea a menudo en el proceso de la demostración, por ejemplo, en las demostraciones, por el contrario. En la lógica constructiva contemporánea, la afirmación A ∨ A no se examina en calidad de l
Less
