¿Qué es?
Se trata de un razonamiento donde ninguna interpretación o fila de una Tabla de verdad (Lógica) contiene premisas cuyo Valor de la verdad (Lógica) sea Verdadero simultaneamente. Con lo cúal, es imposible encontrar ningún contraejemplo porque, por definición, un contraejemplo debe hacer ciertas todas las premisas. Dado que no pueden encontrarse contraejemplos, estos razonamientos son siempre válidos, con independencia de cuál sea la conclusión. Desde aquí se deriva una contradicción. La presencia de esta contradicción posibilita la validación del razonamiento, independientemente de cuál sea la conclusión.