Descripción: “...La inferencia que probó formalmente la hipótesis fue la regla lógica de introducción del condicional. ...”