Matematik ligger inte
om kontexten beaktas.
Modus
putting ponens (eller modus ponens, MP) är en giltig argumentform och en
inferensregel i propositionell logik. I MP är det en del av en villkorlig (om
P, sedan Q), den första eller antecedenta P ges eller bekräftas, och det dras
slutsatsen att följden eller Q är sann. Uttrycket är: "Om P betyder Q, och P är sant, är Q också
sant."
Om P, då Q. P. Därför Q. (Bekräftelse av antecedenten)
Den
ogiltiga felaktigheten eller resonemanget:
Om P, då Q. Q.
Därför P. (Affirmation of the consequent)
Tänk
på följande situation. Juan, på vägen hemma, skickar en elaggregat som visar
flera modeller av plattskärms-TV. Tänker om Rysslands 2018 världscup, pausar
han ett ögonblick för att överväga de spektakulära bilderna i en färgstark
modell. Säljaren uppmärksammar hans intresse, berättar för honom att det kostar
$ 1000 men om han köper i det ögonblicket, måste tv endast betala $. 750. Så
kommer Juan spara 250 dollar.
Fråga 1. Om John köper tv: n, vad
är det giltiga argumentet?
Först: Om jag betalar $ 750 för
TV: n, sparar jag.
Jag betalar $ 750 per TV.
Sedan sparar jag.
För det andra: Om jag
betalar $ 750 för tv, så sparar jag,
Jag sparar
Sedan betalade jag
bara $ 750 för TV: n
Fråga 2. Hur mycket sparar Juan?
(Detalj: Juan hade inte eller hade för avsikt att köpa tv, passagen genom
affären var fortlöpande)