Proof statement

In general, a correct proof statement is:

1. The syllogism སྦྱོར་བ།
2. Proof statement connecting to a similar property ཆོས་མཐུན་སྦྱོར་གྱི་སྒྲུབ་ངག
3. Proof statement connecting to a dissimilar property ཆོས་མི་མཐུན་སྦྱོར་གྱི་སྒྲུབ་ངག

For example:

1. The subject - sound - it is impermanent because of being a product. སྒྲ་ཆོས་ཅན། མི་རྟག་སྟེ། བྱས་པའི་ཕྱིར།
2. If it is a product, it is pervaded by being impermanent; for example, like a pot, sound is also a product.
   བྱས་ན། མི་རྟག་པས་ཁྱབ། དཔེར་ན། བུམ་པ་བཞིན། སྒྲ་ཡང་བྱས་སོ།
3. If it is permanent, it is pervaded by being a non-product; for example, like uncompounded space, but sound is a product.
   རྟག་ན། མ་བྱས་པས་ཁྱབ། དཔེར་ན། འདུས་མ་བྱས་ཀྱི་ནམ་མཁའ་བཞིན། སྒྲ་ནི་བྱས་སོ།

What is illustrated:

• Pervasion statement:
  • Explicitly: Forward pervasion
  • Implicitly: Reverse pervasion
• "sound is also a product": Explicitly: Property of the position in relation to the Subject
• "for example, like a pot": Explicitly: Similar case
• Proof statement connecting to a dissimilar property:
  • Explicitly: property of the position and reverse pervasion
  • Implicitly: forward pervasion

Similarly:

• Correct effect sign:
  • If smoke exists, it is pervaded by the existence of fire; for example, like in the kitchen, smoke also exists on the smokey mountain pass.
    དུ་བ་ཡོད་ན། མེ་ཡོད་པས་ཁྱབ། དཔེར་ན། ཚང་མང་བཞིན། དུ་ལྡན་གྱི་ལ་ལ་ཡང་དུ་བ་ཡོད་དོ།
  • If fire does not exist, it is pervaded by the non-existence of smoke; for example, like in a river, but smoke exists on the smokey mountain pass.
    མེ་མེད་ན། དུ་བ་མེད་པས་ཁྱབ། དཔེར་ན། ཆུ་ཀླུང་བཞིན། དུ་ལྡན་གྱི་ལ་ལ་ནི་དུ་བ་ཡོད་དོ།
• Correct non-observation sign:
  • If tree does not exist, it is pervaded by the non-existence of Juniper; for example, like in a meadow without trees, trees also do not exist on a craggy cliff where trees are not observed.
    ཤིང་མེད་ན། ཤུག་པ་མེད་པས་ཁྱབ། དཔེར་ན། ཤིང་མེད་པའི་ཐང་བཞིན། ཤིང་མ་དམིགས་པའི་བྲག་ངོས་ན་ཡང་ཤིང་མེད་དོ།
  • If Juniper exists, it is pervaded by the existence of tree; for example, like in a forest, but trees do not exist on a craggy cliff where trees are not observed.
    ཤུག་པ་ཡོད་ན། ཤིང་ཡོད་པས་ཁྱབ། དཔེར་ན། ནགས་ཚལ་བཞིན། ཤིང་མ་དམིགས་པའི་བྲག་ངོས་ན་ནི་ཤིང་མེད་དོ།

Up a level: Parts of the Syllogism