Relation between propositions by which A presuppose B, if for A

Relation between propositions by which A presuppose B, if for A to have a truth value, B must be true is called ______.
A、presupposition
B、entailment
C、contradiction
D、synonymy
【正确答案】：A
【题目解析】：预设是一个句子以另一个句子为先决条件的意义关系。