Esto es por supuesto familiar en tales casos como cuando se enseña la aritmética: “dos y dos son cuatro” es lo primero que se aprende en el caso de un par de parejas en particular, y luego en otro caso en particular, etcétera, hasta que al final se hace posible ver que es cierto en cualquier par de parejas.Suponga a un par de hombres discutiendo qué día del mes es. Uno de ellos dice, “Al menos debes admitir que si ayer fue el día 15 hoy debe ser el 16.” “Sí”, contesta el otro, “debo admitirlo.” “Y tú sabes”, continúa el primero, “que ayer fue 15, porque ayer cenaste con Jones, y tu diario confirmará que fue en el día 15.” “Sí”, dice el segundo, “entonces hoy es el 16”. Ahora, tal discusión no es difícil de entender, y si se da por hecho que estas premisas son verdaderas, nadie refutará que la conclusión debe ser también verdadera. Pero su verdad depende de la instancia de un principio lógico general. El principio lógico es como sigue: “Suponga como conocido que si esto es verdadero, entonces eso es verdadero. 