## [Contre‑Exemple](/fr/node/71501) Définition Un cas particulier, un exemple ou un scénario construit qui satisfait l'antécédent ou les prémisses d'une affirmation générale tout en montrant que la conséquence ou la conclusion prévue est fausse ou incomplète ; son but est de démontrer que l'énoncé général ne peut être universellement vrai sous sa forme actuelle. ## Principe Principe Un seul contre‑exemple valide suffit à réfuter une généralisation universelle ou catégorique de la forme « pour tout x, P(x) implique Q(x) », mais il ne détruit pas à lui seul des énoncés qualifiés, probabilistes ou limités à un domaine, sauf si ces restrictions font partie de la formulation originale. ## Démonstration Démonstration Scénario illustratif → Énoncé : « Toute fonction continue sur [a,b] est dérivable sur (a,b). » Reconnaissance : Fournir le contre‑exemple f(x)=|x| sur un intervalle contenant 0. Action : Montrer que f est continue sur [−1,1] mais non dérivable en 0. Conséquence : L'énoncé universel est faux et doit être révisé pour inclure des conditions supplémentaires (par ex. continuité plus contraintes) ou pour restreindre le domaine. ## Mauvaise application Mauvaise application Présenter un cas qui ne satisfait pas les prémisses énoncées (p. ex. utiliser une fonction non continue comme « contre‑exemple » à un théorème concernant les fonctions continues). L'erreur est d'attaquer une cible mal caractérisée plutôt que l'énoncé universel réel. ## Conséquence Conséquence Un contre‑exemple légitime oblige à modifier, restreindre ou abandonner la généralisation affirmée, motive l'affinage des définitions ou prémisses, et peut orienter le développement théorique vers des formulations corrigées ou plus étroites. ## Inversion Inversion La force réfutatoire d'un contre‑exemple est nuancée lorsque l'énoncé initial était entendu comme défectible, statistique ou implicitement limité à un domaine ; dans ces contextes, un cas isolé peut indiquer une exception plutôt qu'une falsification totale, et la réponse adéquate est une recalibration de la portée ou des paramètres probabilistes. ## Limite Limite Clairement dans : Une instance construite qui satisfait toutes les prémisses déclarées et qui falsifie la conclusion énoncée. Cas limite : Un cas qui remplit la plupart mais pas toutes les prémisses formelles et dont l'applicabilité dépend de l'interprétation des prémisses. Claire‑ment hors : Un prétendu contre‑exemple qui viole les prémisses explicites de l'énoncé et n'en traite donc pas la validité. ## Tension sémantique Tension sémantique Généralité ↔ Exception — l'usage des contre‑exemples met en tension l'aspiration à des énoncés généraux et la prise en compte d'exceptions particulières ; résoudre cette tension exige une spécification explicite de la portée, de la modalité (universelle vs probabiliste) et des conditions de fond. ## Synthèse Synthèse Les contre‑exemples sont des instruments décisifs pour tester l'universalité des énoncés : ils dévoilent des hypothèses cachées, imposent une spécification claire des domaines et des modalités, et transforment les généralisations vagues en propositions précises et défendables.