Es decir, cuando todo "modelo" de las premisas es también un modelo de la conclusión.