El silogismo hipotético permite encadenar implicaciones: si p implica q y q implica r, entonces p implica r.
El silogismo hipotético es una regla de inferencia que conecta dos implicaciones para obtener una nueva implicación.
Es muy útil cuando un proceso tiene pasos encadenados: una condición produce una consecuencia, y esa consecuencia produce otra.
La forma del silogismo hipotético es:
La conclusión conecta el primer antecedente con la última consecuencia.
La idea es que p inicia una cadena que termina en r.
La conclusión resume el encadenamiento de las dos reglas.
Forma lógica:
Muchos algoritmos y sistemas tienen reglas encadenadas.
| Proposición | Significado |
|---|---|
| p | El pago fue aprobado |
| q | Se genera el pedido |
| r | Se descuenta stock |
Si p → q y q → r, entonces podemos concluir p → r.
Un flujo de programa puede representar una cadena de implicaciones.
const pagoAprobado = true;
if (pagoAprobado) {
const pedidoGenerado = true;
if (pedidoGenerado) {
console.log("Descontar stock");
}
}Si se cumple el primer paso, se habilita el siguiente, y así se llega a una consecuencia final.
El silogismo hipotético puede extenderse a cadenas más largas.
Si cada paso conduce al siguiente, el primer paso conduce al último.
Este razonamiento permite resumir un flujo completo en una regla más directa.
Modus Ponens obtiene una proposición concreta. El silogismo hipotético obtiene una nueva implicación.
| Regla | Forma | Conclusión |
|---|---|---|
| Modus Ponens | p → q, p ∴ q | q |
| Silogismo hipotético | p → q, q → r ∴ p → r | p → r |
Podemos combinar silogismo hipotético con Modus Ponens.
Primero encadenamos implicaciones. Luego, al saber que p ocurre, obtenemos r.
Para aplicar el silogismo hipotético, el consecuente de una implicación debe coincidir con el antecedente de la siguiente.
Estas dos reglas no forman una cadena, porque q no conecta con r.
No podemos concluir una cadena si el enlace intermedio no coincide.
La conclusión no se sigue de las premisas. Falta una conexión entre pedido generado y descuento.
El silogismo hipotético permite resumir cadenas de reglas condicionales. Es una herramienta clave para razonar sobre procesos donde una consecuencia habilita otra.
En el próximo tema estudiaremos el silogismo disyuntivo.