Método del condicional asociado

En lógica proposicional, el método del condicional asociado es una prueba de validez.
Esto es, un procedimiento para determinar si una forma proposicional es válida o no lo es.
Este método es mecánico y se basa en el método de las tablas de verdad, que consiste en la explicitación de todos los posibles valores de verdad que puede adoptar una forma proposicional de acuerdo con el significado de las conectivas que en ella aparezcan y los posibles valores de las letras proposicionales.
El condicional asociado consiste en realizar la tabla de verdad de un condicional que tenga como consecuente la conclusión del razonamiento -o presunto razonamiento- y como antecedente la conjunción de las premisas.
Sencillamente, si se obtiene una tautología al realizar la tabla de verdad de un condicional asociado a un razonamiento se demuestra la validez de esa forma de razonamiento.