La matematica non
mente, se il contesto è preso in considerazione.
Modus
mettendo ponens (o modus ponens, MP) è una forma di argomento valida e una
regola di inferenza nella logica proposizionale. Nel MP è parte di un
condizionale (se P, poi Q), viene data o affermata la prima o antecedente P, e
si conclude che il conseguente o Q è vero. L'affermazione è: "Se P implica Q e P è vero, allora
anche Q è vero."
Se P, quindi Q. P. Pertanto, Q. (affermazione dell'antecedente)
L'errore
o il ragionamento non validi:
Se P, quindi Q. Q.
Pertanto, P. (affermazione del conseguente)
Si
consideri la seguente situazione. Juan, sulla via del ritorno, passa davanti a
un negozio di elettrodomestici che mostra diversi modelli di TV a schermo
piatto. Pensando alla Coppa del Mondo di Russia del 2018, si ferma un attimo a
contemplare le immagini spettacolari in un modello colorato. Il venditore nota
il suo interesse, gli dice che costa $ 1.000 ma se compra in quel momento la
televisione deve solo pagare $. 750. Quindi, Juan salverà $ 250.
Domanda 1. Se John compra la televisione,
quale sarebbe l'argomento valido?
Primo: se pago $ 750 per la TV,
poi salvo.
Pago $ 750 per TV.
Quindi, sto risparmiando.
Secondo: se pago $ 750
per la televisione, poi salvo,
Sto risparmiando
Quindi, ho pagato solo
$ 750 per la TV
Domanda 2. Quanto risparmia Juan?
(Dettaglio: Juan non aveva o aveva l'intenzione di acquistare la televisione,
il passaggio attraverso il negozio era fortuito)