Implication

Connecteur "implique". Si on a deux propositions et signifie que si est vraie alors l'est aussi.

On le note