 Definition 2 (Presupposition via negation)  One sentence presupposes another iff whenever the first sentence is true, the second is true, and whenever the negation of the first sentence is true, the second sentence is  true.[4]