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