Silogismo hipotético
# Silogismo hipotético

En lógica, 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:

    ${\frac {P\to Q,Q\to R}{\therefore P\to R}}$

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

Un ejemplo de silogismo hipotético es:

   $P\to Q$ Si no me despierto, entonces no voy a ir a trabajar.
   $Q\to R$ Si no voy a trabajar, entonces no me pagan mi sueldo.
   ${\therefore P\to R}$ 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. Las relaciones transitivas son por su parte otro concepto cercano al de silogismo hipotético.

Es interesante 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

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

    $(P\to Q),(Q\to R)\vdash (P\to R)$

donde $\vdash$ es un símbolo metalógico que significa que $P\to R$ es una consecuencia sintáctica de $P\to Q$, y $Q\to R$ en algún sistema lógico;

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

    $((P\to Q)\land (Q\to R))\to (P\to R)$

donde $P$, $Q$ y $R$ son proposiciones expresadas en algún sistema formal.

