Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Principio de Tercer Excluido
Principio de Tercer Excluido
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 -una tercera
(cosa) no se da-).
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.
Por ejemplo, es verdad que "es de día o no es de día", y que "el Sol está ardiendo o no está
ardiendo". El principio del tercero excluido frecuentemente se confunde con el principio de
bivalencia, según el cual toda proposición o bien es verdadera o bien es falsa.
Veamos un ejemplo que nos servirá para entender el Principio del tercero excluido:
Dada la siguiente proposición, p:
Sócrates es mortal.
entonces con Principio del tercero excluido, tenemos que
Sócrates es mortal, o Sócrates no es mortal
Una de las dos afirmaciones debe ser por tanto cierta.
ESTE PRINCIPIO ESTA LIGADO A LA NO CONTRADICCIÓN.
EJEMPLO:
2.
https://www.youtube.com/watch?v=LnDGnruP3YA&t=16s