Correct sign through the power of the fact

དེ་སྒྲུབ་ཀྱི་རྟགས་ཡང་དག་གང་ཞིག  དེ་སྒྲུབ་ཀྱི་བསྒྲུབ་བྱ་ལ་དངོས་སྟོབས་ཀྱི་རྗེས་དཔག་ཚད་མ་སྐྱེད་བྱེད་དེ། དངོས་སྟོབས་ཀྱི་རྟགས་ཡང་དག་གི་མཚན་ཉིད།
Definition: That which is:

1. A correct sign in the proof of that; and
2. The producer of an inferential valid cognition through the power of the fact wrt the probandum in the proof of that.

Divisions: འབྲས་རང་མ་དམིགས་པའི་རྟགས་ཡང་དག་གསུམ་ལས། མཚན་གཞི་རིམ་པ་ལྟར།

1. Correct result sign
   e.g. "smoke" in the proof of the existence of fire on a smokey mountain pass
   དུ་བ། དུ་ལྡན་ལ་ལ་མེ་ཡོད་པར་སྒྲུབ་པའི་དངོས་སྟོབས་ཀྱི་འབྲས་རྟགས་ཡང་དག
2. Correct nature sign
   e.g. "product" in the proof of sound being impermanent
   བྱས་པ། སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་དངོས་སྟོབས་ཀྱི་རང་བཞིན་གྱི་རྟགས་ཡང་དག
3. Correct non-observation sign
   e.g. "non-existence of fire" is that in the proof of the non-existence of smoke on a lake at night
   མེ་མེད་པ་དེ། མཚན་མོའི་རྒྱ་མཚོར་དུ་བ་མེད་པར་སྒྲུབ་པའི་དངོས་སྟོབས་ཀྱི་མ་དམིགས་པའི་རྟགས་ཡང་དག་ཡིན།

Up a level: Division by way of thesis