Silogismo hipotético

Carta Común · N.º 358005

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: P→QQ→R∴P→R donde la regla es que cada vez que las instancias de «P→Q» y «Q→R» aparecen en las líneas de demostración, «P→R» se puede colocar en una línea posterior. Un ejemplo de silogismo hipotético es: P→Q Si no me despierto, entonces no voy a ir a trabajar. Q→R Si no voy a trabajar, entonces no me pagan mi sueldo. ∴P→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…

Leer en Wikipedia