
1
Institut Galilée – Licence Informatique et Mathématiques
Parcours aménagé 2 Algèbre 2025
Feuille d’exercices 1
Exercice 1.1. Parmi ces énoncés, lesquels sont des propositions logiques, pourquoi ?
1. Bonjour la terre.
2. La terre est grande.
3. La terre est plus grande que la lune.
4. la terre est plus petite que la lune.
5. La terre est bleue comme une orange.
6. Protégez la terre!
7. Le soleil tourne autour de la terre.
8. Les extraterrestres existent.
9. Les humains sont mortels.
10. Merci!
11. Le nombre 2est positif.
12. 3×3=8.
13. Soit un triangle isocèle.
14. Posons 90◦=
π
2.
15. 90◦=
π
2.
16. Calculez la dérivée de sin(x2+x+1).
17. √11 est un nombre entier.
18. √nest un nombre entier.
19. Certains nombres entiers sont premiers.
20. Tous les nombres décimaux sont rationnels.
21. Soit ∆=b2−4ac.
22. b2−4ac <a.
23. On note 2Nl’ensemble des entiers naturels
pairs.
24. 10100 est un grand nombre.
25. 10100 est plus petit que 3.
26. 10100 est plus grand que 3.
27. Dessine-moi un mouton.
Exercice 1.2. Jouer avec les quantificateurs du français
Dans la logique d’Aristote (384-322 AEC) il n’y a que 4 types de propositions logiques :
A : tout S est P : Tout Athénien est mortel
I : il y a au moins un S qui est un P : Quelques Athéniens sont mortels
E : Tout S est non P : Tout Athénien est immortel
O : il y a au moins un S qui est non P : Quelques Athéniens sont immortels
1. Attribuer le bon type à chacun de ces énoncés, en expliquant si c’est naturel ou par défaut (parce que
la classification n’est pas assez fine)
(a) Tous les Athéniens sont mortels.
(b) Tous les Athéniens ne sont pas mortels.
(c) Tous les Athéniens sont immortels.
(d) Pas un Athénien n’est immortel.
(e) Aucun Athénien n’est mortel.
(f) Il y a des Athénien qui sont immortels.
(g) Il y a des Athéniens qui sont mortels.
(h) Au moins un Athénien est mortel.
(i) Certains Athéniens sont mortels.
(j) La plupart des Athéniens sont immortels.
(k) Peu d’Athéniens sont immortels.
(l) Plusieurs Athéniens ne sont pas immortels.
2. Reprendre les questions précédentes de l’exercice avec P="être pair" et S= "entier naturel". Dire
quelles sont les propositions vraies.