1003 命题i将会是命题x_i以及其衍生出来的与其代数相差不超过d_i的所有命题的充分条件。 里面的其是指x_i