Une expérience a été menée auprès des lycéens (16-18 ans) sur la recherche des obstacles qui peuvent empêcher la distinction entre condition nécessaire et condition suffisante. L’auteur a cherché des situations ou des énoncés implicatifs puissent apparaître dégagés des situations linguistiques courantes.
Quatre types d’énoncés (de la forme « Si A alors B ») ont été ainsi retenus : énoncés à information complétée et à information partielle sur des circuits électriques, sur des procédures de tirage de boules, et aussi des énoncés en langage ensembliste. Ainsi il a mis en évidence l’existence de quatre traitements distincts de l’implication. L’étude de leurs caractéristiques peut permettre de comprendre pourquoi un enseignement « traditionnel » de la logique n’est souvent pas suivi de succès. Mais cette étude ouvre aussi des perspectives pour un enseignement fécond de la logique dans les lycées.