Ensembles et logique : quantifier, nier et démontrer

En Terminale, appartenance et inclusion organisent les ensembles de solutions, les événements et les domaines. $\text{x∈A}$ affirme que x est un objet de A ; $\text{A⊂B}$ affirme que chaque élément de A appartient à B. Confondre les deux change la nature des objets manipulés.

Le produit cartésien $\text{A×B}$ contient des couples ordonnés. Il sert à décrire un espace de coordonnées ou plusieurs paramètres simultanés. Avant de calculer, précise toujours le domaine : une formule, une limite ou une probabilité ne porte pas sur des objets laissés implicites.

Intersection, réunion et complémentaire traduisent des conditions logiques. Dans un modèle probabiliste, $\text{A∩B}$ signifie que les deux événements se réalisent et $\text{A∪B}$ qu’au moins l’un se réalise. Le complémentaire dépend de l’univers choisi, qui doit donc être annoncé.

La formule $\text{P(A∪B)=P(A)+P(B)−P(A∩B)}$ corrige le double comptage. Lorsque A et B sont incompatibles, l’intersection est vide et le dernier terme disparaît. Cette simplification résulte d’une hypothèse, elle ne doit pas être appliquée automatiquement.

Une proposition possède une valeur de vérité seulement lorsque ses variables sont liées à un domaine et quantifiées. L’écriture $x^2\text{=4}$ est une condition ouverte ; « il existe un réel x tel que $x^2\text{=4}$ » est vraie, tandis que l’affirmation universelle correspondante est fausse.

Les énoncés de convergence utilisent souvent cette structure : pour tout niveau de précision, il existe un rang à partir duquel une propriété est vérifiée. Même sans formaliser toute la définition, repérer l’ordre des quantificateurs évite de confondre un seuil valable pour chaque précision avec un seuil unique valable pour toutes.

Une égalité peut être une identité valable sur tout un domaine, une équation dont on cherche les solutions ou une définition qui introduit un objet. Dériver une identité sur un intervalle où les fonctions sont dérivables conserve une identité ; résoudre une équation demande au contraire de préserver exactement l’ensemble des solutions.

Les transformations comme élever au carré, multiplier par une expression ou composer par une fonction peuvent introduire ou perdre des solutions si leurs conditions ne sont pas contrôlées. Écrire une implication à l’étape risquée, puis vérifier les solutions dans l’équation initiale, est souvent plus exact qu’une chaîne d’équivalences abusive.

Dans $\text{P⇒Q}$, P suffit à obtenir Q et Q est nécessaire pour P. La réciproque est une affirmation distincte. Une caractérisation exige les deux sens, par exemple lorsqu’une équation doit décrire exactement un plan ou lorsqu’une condition doit identifier tous les cas d’égalité.

La contraposée $\text{non Q⇒non P}$ est logiquement équivalente à l’implication initiale. Elle devient utile lorsque l’échec de la conclusion donne une information exploitable. Avant de choisir une stratégie, écris la forme exacte du but et teste si la réciproque est réellement demandée.

Nier une affirmation universelle consiste à produire au moins un contre-exemple du bon domaine. Nier une affirmation existentielle consiste à montrer qu’aucun objet du domaine ne convient. Le changement de quantificateur doit s’accompagner de la négation précise de la propriété.

Cette règle intervient dans les questions de limites, d’inégalités et de probabilités. Quelques exemples favorables ne prouvent pas une affirmation pour tout réel ou tout entier ; en revanche, un seul exemple admissible suffit à la réfuter. Le domaine fait partie intégrante du contre-exemple.

Une preuve directe part des hypothèses et construit le résultat. Une disjonction de cas convient lorsque le domaine se sépare réellement, par exemple selon un signe. La contraposée exploite la négation de la conclusion ; l’absurde suppose la négation du but et aboutit à une contradiction explicite.

Le choix n’est pas stylistique : il dépend de l’information disponible. Pour une récurrence, il faut en plus distinguer initialisation, hérédité et conclusion. Une vérification numérique peut suggérer la propriété, mais seule l’architecture complète de la preuve établit le résultat pour tous les rangs concernés.

En analyse, le domaine précède limites, dérivées et primitives. En géométrie dans l’espace, une équation caractérise un plan seulement si appartenance et réciproque sont maîtrisées. En probabilités, partition, conditionnement et indépendance reposent sur des opérations ensemblistes distinctes.

En algorithmique, une boucle peut traduire une affirmation portant sur tous les éléments parcourus, tandis qu’une recherche s’arrête dès qu’un témoin est trouvé. Le même contrôle traverse donc l’année : objets, domaine, quantificateurs, sens de l’implication et ensemble exact des résultats.