Controesempio

In logica matematica, metodo del c., procedimento per dimostrare che una data espressione H non è una conseguenza (➔) di un insieme di espressioni M; esso consiste nel mostrare l’esistenza di un certo modello di M che non è un modello di H. In particolare in matematica, un c. è un’eccezione a una data congettura generale che permette di dimostrarne la falsità.