La Matemática no miente, si se toma en cuenta al contexto.
El Modus ponendo
ponens (o modus ponens, MP) es una forma de argumento válido y una regla de
inferencia en lógica proposicional. En el MP se parte de un condicional
(si P, entonces Q), se dá o afirma el primero o antecedente P, y se concluye
que el consecuente o Q es verdadero. El enunciado es: "si
P implica Q; y P es verdad; entonces Q también
es verdad."
Si P, entonces Q. P.
Por lo tanto, Q. (Afirmación del antecedente)
La falacia o razonamiento no válido:
Si P, entonces Q. Q. Por lo tanto, P. (Afirmación del consecuente)
Considere
la siguiente situación. Juan, en camino de regreso a casa, pasa por una tienda
de artefactos eléctricos que exhibe varios modelos de televisores de pantalla
plana. Pensando en el Mundial de Fútbol de Rusia 2018 se detiene un momento
para contemplar las espectaculares imágenes en un colorido modelo. El vendedor
nota su interés, le dice que cuesta $ 1.000 pero si compra en se momento el televisor
solo deberá pagar $. 750. Así, Juan ahorrará $ 250.
Pregunta 1. Si Juan compra el
televisor, ¿Cuál sería el argumento válido?
Primero: Si pago $ 750 por el
televisor, entonces ahorro.
Pago $ 750 por televisor.
Luego, estoy ahorrando.
Segundo: Si pago $ 750
por el televisor, entonces ahorro,
Estoy ahorrando.
Luego, pagué sólo $
750 por el televisor
Pregunta 2. ¿Cuánto ahorra Juan?
(Detalle: Juan no tiene ni tuvo la intención de comprar el televisor, el paso
por la tienda fue fortuito)