Implication

Un connecteur binaire vérité-fonctionnel (généralement noté →) selon la sémantique de l'implication matérielle, qui est faux exactement lorsque l'antécédent est vrai et le conséquent faux, et vrai dans toutes les autres valuations classiques.