virus

Comentario.
Como se observa, en este silogismo usamos el enunciado universal afirmativo (A) para la premisa mayor. En cambio en la regla modus ponendo ponens se utiliza, para la primer premisa, elconectivo sí...entonces, que corresponde a la implicación, resultando la misma estructura de razonamiento.
La segunda fórmula del modus ponendo ponens está en términos de clases o conjuntos, seevidencia el razonamiento de esta regla de inferencia. Ya que al ser el conjunto que corresponde a P, subconjunto de Q, necesariamente un elemento que pertenece a P, pertenece a Q.





Segundacomparación.

silogismo barbara

A: Todos los seres humanos piensan
A: Todos los que razonan son seres humanos------------------------------------------------------------------
A: Todos los que razonan piensan

regla de inferencia llamada silogismo hipotético

(a) (b)(c)
P implica Q Si es un ser humano entonces piensa Si razona entonces es un ser humano
Q implica R Si razona entonces es un ser humano Si es un serhumano entonces piensa
------------------- ---- ------------------------------------------------- -----------------------------------------------------
P entonces R Sirazona entonces piensa Si razona entonces piensa

(b*) P implica Q
R implica P
---------------
R implica Q

Comentario.
En estacomparación sucede algo curioso: primero, al hacer equivalentes cada una de las universales afirmativas con una proposición del tipo sí...entonces nos queda la forma (b) y simbolizado quedaría (b’), la cualtiene una estructura de silogismo hipotético, con la ligera variante de que las premisas están en orden distinto, pero sabemos que esto no altera la estructura de razonamiento, ni su conclusión....