1. Connecteurs, quantificateurs et négations
Pour des propositions et :
- et ;
- , donc ;
- la contraposée de est : elle lui est équivalente.
Négation des quantificateurs : et . L'ordre des quantificateurs compte : n'a pas le même sens que .
Véto (BCPST) · Outils · VB-01
Connecteurs et quantificateurs, ensembles, raisonnements (contraposée, absurde, récurrence), symboles et , listes, arrangements, combinaisons, formule du binôme.
Pour des propositions et :
Négation des quantificateurs : et . L'ordre des quantificateurs compte : n'a pas le même sens que .
Sommes de référence, pour :
Pour des ensembles finis , , , :
Principe : on dénombre souvent le complémentaire (« au moins un » se traite par « aucun »).
Soit un ensemble à éléments et .
Propriétés : et, pour , la formule de Pascal .
Pour tous réels (ou complexes) et et tout :
La somme comporte termes. Conséquences : et, pour , .
La formule reste valable pour deux matrices carrées et qui commutent ().
Exemple
Nier la proposition « ».
Étape 1 (Quantificateurs) : on échange chaque et chaque sans changer leur ordre ni les ensembles : .
Étape 2 (Propriété finale) : on nie la dernière assertion : .
Étape 3 (Conclure) : , ce qui signifie que ne converge pas vers .
Exemple
Montrer que, pour tout , .
Étape 1 (Énoncer et initialiser) : on note l'égalité. Pour : et , donc est vraie.
Étape 2 (Hérédité) : on fixe tel que soit vraie. Alors , c'est-à-dire .
Étape 3 (Conclure) : par récurrence, est vraie pour tout .
Exemple
Une animalerie contient 10 souris dont 4 mâles. On en prélève 3 simultanément. Combien de prélèvements contiennent exactement 2 mâles ? au moins un mâle ?
Étape 1 (Modèle) : le prélèvement est simultané, donc sans ordre ni répétition : un prélèvement est une partie à 3 éléments, il y en a .
Étape 2 (Principe multiplicatif) : 2 mâles parmi 4 et 1 femelle parmi 6 : prélèvements.
Étape 3 (Complémentaire) : les prélèvements sans mâle sont au nombre de , donc prélèvements contiennent au moins un mâle.
Essaie de répondre de tête avant d'afficher la réponse.
« ».
(équivalente à ).
(pour ).
(binôme avec ).
.
pour .
Palier 1 · découverte
Quelle est la négation de la proposition ?
Pour nier, chaque quantificateur est échangé avec l'autre, puis on nie la propriété finale.
Bonne réponse : A.
On échange et , puis on nie , ce qui donne .
Négation : (il existe un réel plus grand que tous les réels, ce qui est faux : la proposition de départ est vraie).
Palier 2 · application
Quelle est la contraposée de l'implication « si est pair, alors est pair » ( entier) ?
La contraposée de « A implique B » est « non B implique non A ».
Bonne réponse : A. Si est impair, alors est impair
Contraposée de A ⇒ B : non B ⇒ non A.
Avec A : « pair » et B : « pair » : si est impair, alors est impair.
(« Si est pair, alors est pair » est la réciproque, et non la contraposée.)
Palier 3 · approfondissement
On « démontre » par récurrence sur la propriété : « dans tout groupe de souris, toutes ont la même couleur de pelage ».
(1) Initialisation : un groupe d'une seule souris convient.
(2) Hérédité : soit un groupe de souris. On retire la première : les restantes ont la même couleur par hypothèse.
(3) On retire la dernière : les premières ont aussi la même couleur.
(4) Les deux sous-groupes ont des souris en commun, donc les souris ont la même couleur.
Quelle étape est fausse ?
Testez concrètement le passage de 1 souris à 2 souris.
Bonne réponse : A. L'étape (4) : pour , les deux sous-groupes n'ont aucune souris en commun
Pour passer de à , les deux sous-groupes sont {souris 2} et {souris 1} : ils sont disjoints, et l'argument de l'étape (4) ne permet pas de relier leurs couleurs.
L'hérédité n'est donc pas valable pour tout : l'étape (4) est fausse pour .
Palier 4 · défi
Un étudiant veut montrer que est divisible par 3 pour tout . Il prouve : si , alors .
Que peut-on conclure ?
Une récurrence exige deux étapes : regardez si la première est satisfaite à un rang quelconque.
Bonne réponse : A. L'hérédité est correcte, mais la propriété n'est vraie pour aucun : n'est jamais divisible par 3
L'hérédité est juste, mais aucune initialisation n'est possible : , …
En effet , donc pour tout .
Conclusion : l'hérédité est correcte, mais n'est jamais divisible par 3. Une hérédité seule ne prouve rien.