Negation used to be the test for presupposition, as presupposition was defined as a special species of entailment that can survive negation.

• 可是这种否定只能限于内部否定。否定的范围是预设理论中的一个很重要的问题。