Método del Condicional Asociado

Método que nos permite determinar la validez de un argumento. Veamos los pasos que he realizado: (I) Abstraemos las Forma Lógica del Argumento. (II) Una vez que hemos obtenido la Forma Lógica, nos damos cuenta que es la Regla de Inferencia Válida denominada Modus Tollens. (III) Realizamos el Método del Condicional Asociado poniendo en conjunción las premisas (antecedente del condicional) y luego ponemos por fuera del antecedente la conclusión de la Forma, es decir, en nuestro caso " -p " (consecuente del condicional). (IV) Llegamos a la conclusión de que es una Tautología porque sólo hemos obtenido V. Esto demuestra que es un razonamiento válido. En otros ejercicios del Método del Condicional Asociado podríamos obtener solo F, una contradicción, y esto nos aseguraría que es un razonamiento inválido. También podríamos obtener V y F, una contingencia, y esto no nos permitiría determinar con seguridad que el razonamiento sea válido o no lo sea, pues habría combinaciones de verdad en las que lo es y otras en las que no lo es.

Lo importante es intentar reconocer si es una Regla de Inferencia válida como lo son el Modus Ponens y el Modus Tollens ya que esto me asegura que el resultado será una Tautología. Si reconozco Falacias como el caso de la Falacia de la Afirmación del Consecuente o la Falacia de Negación del Antecedente sabré de antemano que el resultado es una Contingencia y, además, al reconocer la Falacia sé que no es un Razonamiento Válido.