Logique mathématique

Implication ≠ Déduction

Une implication ne constitue pas une déduction.

Ne pas confondre
une implication une déduction
  • Si je gagne au loto, alors je suis millionnaire.
exprime la règle du jeu du loto.
  • Puisque j'ai gagné au loto, je suis millionnaire.
  • J'ai gagné au loto. Donc je suis millionnaire.
affirment que je suis millionnaire, en le justifiant.
  • Si \(P\), alors \(Q\).
  • \(P\implies Q\)
  • Puisque \(P\), \(Q\).
  • \(P\). Donc \(Q\).
  • Si
  • Puisque
  • \(\implies\)
  • donc
Lionel Avon