La ley del tercer excluido (latín: tertium non datur) es un principio cuya enunciado define lo siguiente: “o A es X o no es X y no hay una tercera posibilidad”. El principio se representa de la siguiente manera: “P \or \neg P.\. Un ejemplo de la ley del tercer excluido puede verse a continuación: “O este hombre es Sócrates o no es Sócrates”. Una proposición solamente puede ser verdadera si no es falsa y solamente puede ser falsa si no es verdadera, porque el tercer valor es excluido. Se deduce que es un principio lógico.
Este principio es la declaración, en el orden ontológico, que entre el ser o no ser, no puede existir el tercero medio, es decir, no sería el ser, ni sería el no ser. Por intermedio de ese pensamiento se establece el Principio de no-contradicción. La ley de no-contradicción dice que ninguna afirmación puede ser verdadera y falsa al mismo tiempo y la ley del tercer excluido dice que cualquier afirmación de la forma *P o no-P* es verdadera. Ese principio debe ser distinguido cuidadosamente del principio de bivalencia, el principio según el cual para toda proposición (p), ella o su negación es verdadera. La lógica de Aristóteles, en particular, la teoría del silogismo, es simplemente un fragmento de la conocida lógica tradicional.
