Reverse pervasion

དེ་སྒྲུབ་ཀྱི་དངོས་ཀྱི་བསྒྲུབ་བྱའི་ཆོས་ཀྱི་དོན་ལྡོག་དང་འབྲེལ་སྟོབས་ཀྱིས་དེ་སྒྲུབ་ཀྱི་མི་མཐུན་ཕྱོགས་ལ་འགོད་ཚུལ་དང་མཐུན་པར་མེད་པ་ཉིད་དུ་ཚད་མས་ངེས་པ་དེ།
དེ་སྒྲུབ་ཀྱི་ལྡོག་ཁྱབ་ཀྱི་མཚན་ཉིད།
Definition of reverse pervasion in the proof of that:
That ascertained with valid cognition as categorically not existing, in accordance with the mode of statement, in the dissimilar class in the proof of that; through the force of being related to the meaning-isolate of the explicit property of the probandum in the proof of that.

Illustration: product.

This definition is not definitive, because "sound" is also that.

ཁྱོད་ཀྱི་རྟགས་ཀྱིས་སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་རྟགས་ཆོས་གཉིས་དང་མི་ལྡན་པའི་མི་མཐུན་དཔེ་ཡང་དག་ཡོད། ཁྱོད་མི་རྟག་པ་ལ་འབྲེལ། ཁྱོད་དེ་སྒྲུབ་ཀྱི་མི་མཐུན་ཕྱོགས་ལ་མེད་པ་ཁོ་ནར་ཚད་མས་ངེས་པ། ཁྱོད་དེ་སྒྲུབ་ཀྱི་ལྡོག་ཁྱབ་ཡིན་པའི་མཚན་ཉིད།
Definition of x being the reverse pervasion in the proof of that:

1. There exists a correct dissimilar example not possessing the sign and predicate in the proof that sound is impermanent using the sign "x";
2. x is related to impermanent;
3. x is ascertained with valid cognition as categorically non-existent in the dissimilar class in the proof of that

For x = product, those three follow: དེར་ཐལ།

1. Because uncompounded space is that འདུས་མ་བྱས་ཀྱི་ནམ་མཁའ་དེ་ཡིན་པའི་ཕྱིར།
2. Because product and impermanent are related as same nature ཁྱོད་མི་རྟག་པ་ལ་བདག་གཅིག་ཏུ་འབྲེལ་བའི་ཕྱིར།
3. Product is non-existent among the non-impermanent མི་རྟག་པ་མ་ཡིན་པ་ལ་བྱས་པ་མེད་པའི་ཕྱིར།

Up a level: Three Modes