====== OEF Quantificateurs logiques ======
===== Description par l'auteur =====
//Description// : collection d'exercices sur les quantificateurs logiques.
//Niveau// : H6,U1,U2
//Mots-clés// : quantifier
//Domaine// : logic - //Langue// : fr
//Catégorie// : oef, exercise
//Auteur(s)// :
Bernadette,Perrin-Riou - //Contact// : bpr@math.u-psud.fr
//Adresse// : module=U1/logic/oefforall.fr
//Version// : 1.14 - //Copyright// 2002 2005 2009 2010 2012 2015 2017 2018 2022 Bernadette,Perrin-Riou
//This work is licensed under the// GNU GPL: http://www.gnu.org/licences/gpl.html
~~DISCUSSION~~