Construcción de Contramodelo
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El procedimiento sistemático de construir un modelo o estructura que satisface un conjunto de premisas pero falsifica una fórmula o teoría candidata, usado para demostrar no-implicación o invalidez en términos semánticos.