Les mathématiques ne
mentent pas, si le contexte est pris en compte.
Les
modus ponens (ou modus ponens, MP) est une forme d'argument valable et une
règle d'inférence en logique propositionnelle. Dans le député, il fait partie d'un
conditionnel (si P, Q) est donnée ou la première ou l'histoire dit P, et
conclut que le ou Q est consécutif vrai. La déclaration est: "Si P implique Q, et P est vrai, alors
Q est également vrai."
Si P, alors Q. P. Par conséquent, Q. (Affirmation de l'antécédent)
L'erreur
ou le raisonnement invalide:
Si P, alors Q. Q.
Par conséquent, P. (Affirmation du conséquent)
Considérez
la situation suivante. Juan, sur le chemin du retour, passe devant un magasin
d'appareils électriques qui affiche plusieurs modèles de téléviseurs à écran
plat. En pensant à la Coupe du monde 2018 de Russie, il s'arrête un moment pour
contempler les images spectaculaires dans un modèle coloré. Le vendeur noter
que votre intérêt, dit-il coûte 1 000 $, mais si vous achetez le téléviseur est
payer $ seulement. 750. Donc, Juan économisera 250 $.
Question 1. Si John achète la
télévision, quel serait l'argument valable?
Premièrement: Si je paye 750 $
pour la télévision, alors j'économise.
Je paye 750 $ par TV.
Ensuite, j'économise.
Deuxièmement: Si je
paye 750 $ pour la télévision, alors j'économise,
J'économise.
Ensuite, j'ai payé
seulement 750 $ pour la télévision
Question 2. Combien Juan
économise-t-il? (Détail: Juan n'avait pas ou n'avait pas l'intention d'acheter
la télévision, le passage dans le magasin était fortuit)