Correction
Traduisez les énoncés suivants en formules de la logique des prédicats (on donnera `a chaque fois l'interprétation des prédicats utilisés ? par exemple A(x ...
Traduisez les énoncés suivants en formules de la logique des prédicats (on donnera `a chaque fois l'interprétation des prédicats utilisés ? par exemple A(x ...