تمارين - 1BACSEF
الأولى باكالوريا العلوم التجريبية – خيار فرنسي
درس : Notions en logique
Exercice 12 (Devoir)
- Ecrire les phrases suivantes à l’aide des quantificateurs
- “il existe au moins un entier naturel tel que pour tout de on a ”
- “Pour tout réel , il existe un unique entier relatif tel que ”
- ” ne s’annule pas dans ”
-
Montrer que la proposition
est fausse
-
Résoudre dans l’equation :
-
- Developper
- Montrer que :
-
Soient et deux nombres réels, montrer que :
-
Soit , Démontrer que
- En utilisant le raisonnement par absurde. Montrer que
- Montrer que est un multiple de 3
- Montrer que :
Autre réponse :
- Par exemple pour on a mais n’est pas supérieur ou égal à 1
- Résoudre dans l’equation :
-
Si , alors :
Donc l’équation devient :
Donc l’équation n’a pas de solution dans
-
Si , alors :
Donc l’équation devient :
Donc l’équation admet deux solutions distincts :
et donc l’ensemble des solutions de l’équation est
- Soit
Raisonnement par contraposé
Pour montrer que
on montre que :
-
Suppposons que :
Donc
alors absurde
D’où
-
L’initialisation : Pour on a : est un multiple de 3
Donc la proposition est vraie pour
L’hérédité : Soit , supposons que : est un multiple de 3
et montrons que : est un multiple de 3
On a : est un multiple de 3 donc :
Donc est un multiple de 3
Conclusion : D’aprés le principe de récurrence :
-
Initialisation : pour on a :
Donc :
Héridité : Soit , supposons que :
et montrons que
on a
Conclusion : d’aprés le principe du récurrence :