tatpūrvaka iti vidheḥ pūrvakaḥ / vidher nivṛttilakṣaṇatvād vyatirekasyeti bhāvaḥ /
"Presupposing that" means "presupposing the positive." The idea is that exclusion has the characteristic of being the negation of the positive.