Relation between propositions by which A presupposes B, if for A to have a truth value, B must be true is called（）.

Relation between propositions by which A presupposes B, if for A to have a truth value, B must be true is called（）.
A.presupposition
B.entailment
C.contradiction
D.synonymy
正确答案：presupposition