Question

LEY DEL TERCER EXCLUIDO POR FAS :)

Answer 1

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 ley de la lógica o de aseveración de significado constructivamente universal. Según la cual de dos enunciados, cuando uno niega lo que se afirma en el otro, uno de ellos es imprescindiblemente verídico.