Construction de Contre-Modèle

La procédure systématique de construction d'une structure (modèle) qui satisfait un ensemble d'hypothèses mais falsifie une phrase ou une théorie candidate, utilisée pour démontrer la non-implication ou l'invalidité au sens modèle-théorique.