7 jours d'essai offerts
Cet ouvrage et des milliers d'autres sont disponibles en abonnement pour 8,99€/mois
´ UNIVERSITE STENDHAL OptionMath´ematiques
LogiqueMathe´matique
Exercice 1 Onconside`relespropositionssuivantes: A : Il fait beau. B : Je travaille. C:Jemeprom`ene. Traduire les phrases suivantes sous forme symbolique : 1.eJ.uaebtlfaine.Iom`emepr 2.m`roe.entiafenlIepemsjaiumeasbpa 3.ebtij,uapeme`morene.Sfail 4.beitfail.auuqjemepeor`mne,eChaquefois 5.Je travaille uniquement s’il ne fait pas beau. 6.Je ne travaille pas lorsqu’il fait beau. 7.Il suffit que je travaille pour qu’il fasse beau. 8.varaettjoi,sneulsesohcxuedeDe.m`enpeorjtmes,ioliel
20102011
Exercice 2 Soitnun entier quelconque. Parmi les phrases suivantes, lequelles traduisent correctement l’implication (4|n) =(2|n), lesquelles ne la traduisent pas et pourquoi? 1. Si4 divisenalors 2 divisen. 2. 2divisenseulement si 4 divisen. 3. Pourque 2 divisenil faut que 4 divisen. 4. Pourque 2 divisenil suffit que 4 divisen. 5. Lacondition “4 divisenruuqeropives2eidestnssai´ecen. 6. Lacondition “4 divisen” est suffisante pour que 2 divisen.