YN_ (./3762) :Les être humains ne sont pas de simples parseurs syntaxiques. Juxtaposer deux propositions pour en suggérer une troisième (sans l'énoncer explicitement) est une figure de style courante.
Donc quand je dis (A) U (B), c'est normal de comprendre ((A) → (B)) → ((¬A) → (¬B)). Why not…