require as a necessary antecedent or precondition; in logic

• 作为必要先决条件或前提；逻辑学用语