Aplicație Multimedia de Învățare (AMII Static) • Logică Matematică
Un contraexemplu este un caz particular care infirmă o propoziție universală presupusă a fi adevărată. În matematică, oricâte mii de verificări parțiale am face, o singură abatere (un contraexemplu) este suficientă pentru a dărâma o întreagă conjectură.
Un student la matematică, extrem de leneș dar pasionat de statistici casnice, a formulat următoarea ipoteză universală după ce a spălat rufe timp de trei săptămâni: „({∀} pereche de șosete introduse în mașina de spălat) {⇒} rezultă exact același număr de șosete curate la sfârșit”. El a verificat ipoteza pe 50 de ture consecutive de spălare, iar aparatul a livrat mereu numărul corect. Convins că a descoperit o lege absolută a fizicii textile, a publicat teoria pe grupul facultății.
În a 51-a zi, mama sa a aruncat în cuvă o șosetă roșie și una albastră care nu făceau parte dintr-o pereche existentă, iar mașina a „înghițit” pur și simplu o șosetă gri. Acea singură șosetă dispărută a reprezentat contraexemplul perfect care a pulverizat instantaneu teoria universală a studentului, demonstrând încă o dată că în Științe o mie de confirmări nu fac cât un singur contraexemplu devastator!