A matemática não mora,
se o contexto for levado em consideração.
Modus
putting ponens (ou modus ponens, MP) é uma forma de argumento válida e uma
regra de inferência na lógica proposicional. No MP é parte de um condicional
(se P, então Q), o primeiro ou antecedente P é dado ou afirmado, e conclui-se
que o consequente ou Q é verdadeiro. A afirmação é: "Se P implica Q, e P é verdadeiro, então Q também é verdade".
Se P, então Q. P. Portanto, Q. (Afirmação do antecedente)
A
falácia ou o raciocínio inválido:
Se P, então Q. Q.
Portanto, P. (Afirmação do consequente)
Considere
a seguinte situação. Juan, no caminho de volta para casa, passa por uma loja de
eletrodomésticos que exibe vários modelos de TVs de tela plana. Pensando na
Copa do Mundo de Rússia de 2018, ele pausa por um momento para contemplar as
imagens espetaculares em um modelo colorido. O vendedor percebe seu interesse,
diz-lhe que custa US $ 1.000, mas se ele compra nesse momento, a televisão só
precisa pagar $. 750. Então, Juan economizará US $ 250.
Pergunta 1. Se John compra a
televisão, qual seria o argumento válido?
Primeiro: se eu pagar US $ 750
pela televisão, então eu salvei.
Eu pago US $ 750 por TV.
Então, estou guardando.
Segundo: se eu pagar
US $ 750 pela televisão, então eu economizo,
Estou economizando.
Então, eu paguei
apenas US $ 750 pela TV
Pergunta 2. Quanto salva Juan?
(Detalhe: Juan não tinha ou tinha a intenção de comprar a televisão, a passagem
pela loja era fortuita)