La définition de l’implication stricte adoptée par les contributeurs de wikipedia et par John Lyons dans Semantics 1 dit que p implique strictement q, si l’on a L (p → q) Il est nécessaire que p implique q, autrement dit, ~M (p & ~q) Il est im-possible d’avoir à la fois p et q. L (p […]