Silogismo hipotético

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda


En lógica clásica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus premisas. En la lógica proposicional, el silogismo hipotético es una regla de inferencia válida (llamado también argumento cadena, regla de cadena, o el principio de transitividad de la implicación, y a veces abreviado SH).

El silogismo hipotético se puede escribir formalmente como:

donde la regla es que cada vez que las instancias de "" y "" aparecen en las líneas de demostración, "" se puede colocar en una línea posterior.

Un ejemplo de silogismo hipotético es:

Si no me despierto, entonces no voy a ir a trabajar.
Si no voy a trabajar, entonces no me pagan mi sueldo.
Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

El silogismo hipotético está estrechamente relacionado al silogismo disyuntivo, ya que también es un tipo de silogismo, y también es el nombre de una regla de inferencia.

Vale la pena resaltar que el silogismo hipotético es una de las reglas de lógica clásica, que no siempre es aceptado en ciertos sistemas de lógica no clásica.

Notación formal[editar]

La regla de silogismo hipotético puede escribirse en la notación subsiguiente:

donde es un símbolo metalógico que significa que es una consecuencia sintáctica de , y en algún sistema lógico;

y expresado como una tautología verdad-funcional o teorema de la lógica proposicional:

donde , y son proposiciones expresadas en algún sistema formal.

Véase también[editar]

Referencias[editar]

Enlaces externos[editar]