Controesempi

Controesempi, o controesempio, è un caso specifico che rende falsa una proposizione generale o una tesi. In logica e matematica si usa per dimostrare che una proposizione universale non è valida, o per evidenziare i limiti di un enunciato condizionale.

Come si costruisce: si identifica la forma della proposizione (universale o condizionale) e si cerca un’istanza che la violi; è essenziale verificare che l’istanza sia ammissibile nel dominio considerato. Un controesempio deve quindi essere un caso reale che renda falsa la tesi, senza introdurre assunzioni estranee.

Esempi: un controesempio a una proposizione universale è “Ogni triangolo ha tre angoli acuti”: un triangolo ottuso contraddice questa affermazione. Il claim “√2 è razionale” è falso; la classica dimostrazione dell’irrazionalità di √2 funge da controesempio al pretendere che √2 sia razionale. Un altro famoso controesempio è la funzione di Weierstrass, continua su tutto il piano reale ma non derivabile in alcun punto, a dimostrazione che la continuità non implica la derivabilità.

Nei contesti scientifici e filosofici, i controesempi servono a testare teorie e a evidenziare limiti e condizioni necessarie per la validità delle prove. Servono come strumenti critici per chiarire quanto una tesi possa essere generalizzata o meno, evitando generalizzazioni indebite.