====== Propositions logiques quantifiées ======
===== Description par l'auteur =====
//Description// : déterminer si une proposition logique avec des quantificateurs est vraie ou fausse.
//Niveau// : H6,U1
//Mots-clés// : quantifier
//Domaine// : logic - //Langue// : fr
//Catégorie// : exercise, oef
//Auteur(s)// :
David,Doyen - //Contact// : David.Doyen@u-pem.fr
//Adresse// : module=U1/logic/propquant.fr
//Version// : 1.00 - //Copyright// 2016 David,Doyen
//This work is licensed under the// GNU GPL: http://www.gnu.org/licences/gpl.html
~~DISCUSSION~~