L’implication, au même titre que l’opérateur « ET » par exemple, est un opérateur binaire (c’est-à-dire, rappelons-le, qui lie deux propositions entre elles).
— (27/10/2014), http://fr.openclassrooms.com/sciences/cours/introduction-a-la-logique-mathematique