La Matemàtica no
menteix, si es té en compte al context.
El
Modus ponendo ponens (o modus ponens, MP) és una forma d'argument vàlid i una
regla d'inferència en lògica proposicional. Al MP es parteix d'un condicional
(si P, llavors Q), es dóna o afirma el primer o antecedent P, i es conclou que
el conseqüent o Q és veritable. L'enunciat és: "si P implica Q, i P és
veritat, aleshores Q també és veritat."
Si P, llavors Q. P. Per tant, Q. (Afirmació de l'antecedent)
La
fal·làcia o raonament no vàlid:
Si P, llavors Q. Q.
Per tant, P. (Afirmació del conseqüent)
Penseu
en la següent situació. Joan, en camí de tornada a casa, passa per una botiga d'artefactes
elèctrics que exhibeix diversos models de televisors de pantalla plana. Pensant
en el Mundial de Futbol de Rússia 2018 s'atura un moment per contemplar les
espectaculars imatges en un colorit model. El venedor nota el seu interès, li
diu que costa $ 1.000 però si compra a es moment el televisor només haurà de
pagar $. 750. Així, Juan estalviarà $ 250.
Pregunta 1. Si Joan compra el
televisor, Quin seria l'argument vàlid?
Primer:
Si pagament $ 750 pel televisor, llavors estalvi.
Pagament
$ 750 per televisor.
Després,
estic estalviant.
Segon: Si pagament $
750 pel televisor, llavors estalvi,
Estic estalviant.
Després, vaig pagar
només $ 750 pel televisor
Pregunta
2. Quant estalvia Joan? (Detall: Joan no té ni va tenir la intenció de comprar
el televisor, el pas per la botiga va ser fortuït)