====== DOC Raisonnements ======
===== Description par l'auteur =====
//Description// : une introduction aux raisonnements.
//Niveau// : U1,U2
//Mots-clés// : reasoning math_symbols quantifier implication contraposition truth_table recurrence
//Domaine// : logic - //Langue// : fr
//Catégorie// : document
//Auteur(s)// :
Marie-Claude,David;Bernadette,Perrin-Riou;David,Doyen;Pierre,Leterrier;Zoé,Mesnil; - //Contact// : mcld@math.u-psud.fr,bpr@math.u-psud.fr,david.doyen@u-pem.fr
//Adresse// : module=U1/logic/doclogic.fr
//Version// : 1.33 - //Copyright// 2004 2004 2010 2012 2013 2015 2016 2017 2019 2023 Marie-Claude,David;Bernadette,Perrin-Riou;David,Doyen;Pierre,Leterrier;Zoé,Mesnil;
//This work is licensed under the// GNU GPL: http://www.gnu.org/licences/gpl.html
~~DISCUSSION~~