sādhanâvyāpaka mfn. (in logic) not invariably inherent in the proof. MW

• -tā f. -tva n. non-invariable inherence in the proof. ib