a proposition on which another proposition depends; the antecedent of a conditional proposition

• 为另外一命题所依赖的命题；先决条件