Nos indica que un silogismo condicional, al afirmar el antecedente es valido afirmar el consecuente.
Nos indica que cuando tenemos una proposicon condicional y se niega en consecuente, entonces es valido negar el antecedente.
En un argumento hay que distinguir las premisas y la conclusion. Las premisas son las proposiciones a partir de las cuales se obtiene un nuevo conocimiento que se llama conclusion. Lo importante desde el punto de vista de la logica es el nexo que une a las premisas con la conclusion. Se trata de un nexo necesario. Cuando se capta un nexo necesario entre las premisas y la conclusion decimos entonces que el raciocinio es correcto lo cual se expresa tambien con el termino validez. La logica ha analizado diferentes tipos de argumentos y ha encontrado ciertos nexos necesarios entre premisas y conclusion. Estos nexos descritos por la logica se refieren a la pura forma independiente del contenido.
La validez logica de un argumento consiste, pues, en la necesidad que se da entre las premisas y la conclusion sin tener que recurrir al analisis de los contenidos.
El camino para demostrar la validez de un argumento consiste en confrontar su forma general con las leyes de implicacion y de equivalencia. Para eso se siguen varios pasos: