Countermodel Construction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The systematic procedure of building a model or structure that satisfies a set of premises but falsifies a candidate sentence or theory, used to demonstrate non-entailment or invalidity in model-theoretic terms.