Lógica medieval

Expongo las 7 reglas básicas del silogismo hipotético ya conocidas en la época final imperial romana. Incluye los 5 indemostrables de Crisipo (los números 1, 2, 4, 5 y 6), emplazando en el 3 y el 7 2 nuevas reglas lo suficientemente semejantes a la 3ª de Crisipo como para poder confundirse con esta, pero lo suficientemente diferentes como para consignarlas por separado.

Las 3 primeras reglas eran en un amplio sentido de la inferencia condicional, y las 4 siguientes de la inferencia disyuntiva. En un sentido amplio, claro.

El cuadro final sería:

1. Si lo primero, entonces lo segundo; Pero lo primero; Luego lo segundo.
2. Si lo primero, entonces lo segundo; Pero no lo segundo; Luego no lo primero.
3. No a la vez lo primero y no lo segundo; Pero lo primero; Luego lo segundo.
4. O lo primero o lo segundo; Pero lo primero; Luego no lo segundo.
5. O lo primero o lo segundo; Pero no lo primero; Luego lo segundo.
6. No a la vez lo primero y lo segundo; Pero lo primero; Luego no lo segundo.
7. No a la vez no lo primero y no lo segundo; Pero no lo primero; Luego lo segundo.