Principio del tercero excluido

Carta Poco común · N.º 102783

El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del tercero excluso o en latín principium tertii exclusi o bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra que lo niega, una de las dos debe ser verdadera, y una tercera opción no es posible.​ Por ejemplo, es verdad que "es de día o no es de día", y que "Algo es blanco o no es blanco". 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.​​ El principio del tercero excluido es, junto con el principio de no contradicción y el principio de identidad, una de las leyes clásicas del pensamiento occidental.​ En la lógica proposicional, el principio del tercero excluido se expresa: ( A ∨ ¬ A ) {\displaystyle…

Leer en Wikipedia