Silogismo hipotético

En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más bien
regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener
términos válidos o no. En la lógica proposicional un silogismo hipotético puede expresar una
regla de inferencia, mientras que en la historia de la lógica los silogismos hipotéticos han sido
una antelación de la teoría de las consecuencias.

[editar]En lógica proposicional

El silogismo categórico (abreviado S.P.) es un argumento válido si sigue la siguiente 
forma argumental:

P → Q.

Q → R.

Entonces (ergo), P → R.