Correct consequence conveying a proof or autonomous sign

ཐལ་འགྱུར་ཡང་དག་གང་ཞིག  བཟློག་དོན་ཚུལ་གསུམ་ཚང་བ་དེ། སྒྲུབ་བྱེད་འཕེན་པའམ་རང་རྒྱུད་འཕེན་པའི་ཐལ་འགྱུར་ཡང་དག་གི་མཚན་ཉིད།
Definition: That which is:

1. A correct consequence; and
2. Its reversed-meaning fulfils the three modes.

སྒྲུབ་བྱེད་འཕེན་པའི་ཐལ་འགྱུར་ཡང་དག་ཡིན་ན། རང་ཉིད་སོང་ཚོད་ཀྱི་རྟགས་རང་འགོད་པ་སྐབས་སུ་བབ་པའི་ཕྱི་རྒོལ་ཡང་དག་གིས་ཁས་བླངས་ཤིང་།
ཚད་མས་མ་གྲུབ་པ་དང་། ཁྱབ་པ་ཚད་མས་གྲུབ་ཅིང་། དམ་བཅའ་ལ་ཚད་མས་བསལ་བ་ཞུགས་པ་གཅིག་དགོས་ཏེ།
If it is a correct consequence conveying a proof, necessarily:

• Its effective sign is asserted by the correct opponent when it is set forth and that sign is not established by valid cognition;
• The pervasion is established by valid cognition; and
• The thesis can be negated by valid cognition.

This is because:

• If the effective sign of a correct consequence conveying a proof were established by valid cognition, the thesis of the correct syllogism conveyed by that would be negated by valid cognition;
  སྒྲུབ་བྱེད་འཕེན་པའི་ཐལ་འགྱུར་ཡང་དག་གང་དང་གང་གི་སོང་ཚོད་ཀྱི་རྟགས་ཚད་མས་གྲུབ་ན།
  དེས་འཕངས་པའི་སྦྱོར་བ་ཡང་དག་གི་དམ་བཅའ་ལ་ཚད་མས་བསལ་བ་འབབ་ཅིང་།
• If the pervasion were not established by valid cognition, the reverse pervasion of the correct syllogism conveyed by that would not be established; and
  ཁྱབ་པ་ཚད་མས་མ་གྲུབ་ན། དེས་འཕངས་པའི་སྦྱོར་བ་ཡང་དག་གི་ལྡོག་ཁྱབ་མི་འགྲུབ་ལ།
• If the thesis could not be negated by valid cognition, the property of the position of the syllogism conveyed by that would not be established.
  དམ་བཅའ་ལ་ཚད་མས་བསལ་བ་མ་ཞུགས་ན། དེས་འཕངས་པའི་སྦྱོར་བའི་ཕྱོགས་ཆོས་མི་འགྲུབ་པའི་ཕྱིར།

Divisions:

1. Correct consequence conveying an opposite of the same type ལྡོག་པ་རང་རིགས་འཕེན་པའི་ཐལ་འགྱུར་ཡང་དག
2. Correct consequence conveying an opposite of different type ལྡོག་པ་གཞན་རིགས་འཕེན་པའི་ཐལ་འགྱུར་ཡང་དག

Up a level: Correct consequence