El argumento lógico usado para justificar la verificación de la hipótesis es: