|
|
 |
 |
|
|
|
|
Quantificateurs
Pour exprimer qu'une propriété est universelle ou pour exprimer l'existence d'un objet, les mathématiques disposent de deux signes logiques appelés quantificateurs. Dans ce chapitre nous en étudions les règles d'usage et les propriétés.