Fondements de l'informatique Logique, modèles, et calculs

L'implication logique va ainsi du « plus d'information » vers le « moins d'information ». ... ne pas boire d'alcool. En effet (a) est équivalent à dire, en ce ...