Método verificador de los valores de verdad o falsedad de los enunciados de la lógica proposicional, consistente en la combinación de todos los valores de verdad y falsedad posibles de las proposiciones para determinar los valores finales de los enunciados que pueden ser tautologías o leyes, si todos los valores son verdaderos; contradicciones, si todos son falsos e indeterminaciones, si unos verdaderos y otros falsos. Sea, por ejemplo, el enunciado p o no p; como es un enunciado de orden uno, pues hay una sola proposición, la combinación será de dos valores: verdadero- falso y falso- verdadero, que por la definición de la disyunción nos dará verdadero en los dos casos. Es el principio de tercero excluído: ser o no ser, esa es la cuestión.