Prépa, 1re année › Logique et raisonnements › Propriété fondamentale de $\mathbb{N}$ (admise)
Propriété fondamentale de $\mathbb{N}$ (admise) : énoncé (MPSI)
Propriété
Propriété fondamentale de $\mathbb{N}$ (admise)
Toute partie non vide de $\mathbb{N}$ admet un plus petit élément.
Cette propriété est admise dans le programme ; elle fonde tous les raisonnements par récurrence.
S’entraîner
- Écrire et nier des énoncés quantifiés
- Vrai ou faux : l'ordre des quantificateurs
- Condition nécessaire, condition suffisante
- Deux raisonnements par contraposée
- Carrés et restes : disjonctions de cas
Dans le cours
Logique et raisonnements : Propriété fondamentale de $\mathbb{N}$ (admise)