En effet les implications et les équivalences sont utilisées dans la grande majorité des démonstrations en mathématiques. Bien les comprendre permet donc d’éviter des erreurs de raisonnement dans une copie... mais aussi dans la vie !
— (30/10/2014), http://openclassrooms.com/courses/introduction-a-la-logique-mathematique