Principio del tercero excluido

De Wikipedia, la enciclopedia libre

El principio del tercero excluido o principium tertium exclusum es un principio de la lógica tradicional formulado canónicamente por Leibniz como: o A es B o A no es B. Ahora lo leemos del siguiente modo: o bien P es verdadera, o bien su negación ¬P lo es. Entre dos proposiciones que juntas forman una contradicción no hay una tercera posibilidad, la tercera está excluida.

También se conoce como "tertium non datur" ('Una tercera (cosa) no se da') . Clásicamente se considera que es uno de los principios o leyes fundamentales del pensamiento (junto con el principio de identidad, de no contradicción y de razón suficiente).

Otra formulación del principio de tercio excluso: Toda proposición es verdadera o falsa, y entre estos dos valores de verdad no se admite nada intermedio o “tercero”; en términos semánticos, si dos proposiciones son contradictorias, al menos una de ellas es falsa.

Su representación simbólica corresponde a la tautología: A¬A