A.2 Exercices de révision A.3 Corrigés
A.2 Exercices de révision. 1. Traduisez les énoncés suivants en formules de la logique des prédicats (on donnera `a chaque.
A.2 Exercices de révision. 1. Traduisez les énoncés suivants en formules de la logique des prédicats (on donnera `a chaque.