object designated as the property of the negandum

དེ་སྒྲུབ་ཀྱི་དགག་བྱའི་ཆོས་སུ་བཏགས་པའི་དོན་ཡིན་ན། དེ་སྒྲུབ་ཀྱི་དགག་བྱའི་ཆོས་ཡིན་པས་མ་ཁྱབ།
If it is the object designated as the property of the negandum, it is not pervaded by being the property of the negandum. (three possibilities)

རྟགས་ཡང་དག་གི་དགག་བྱའི་ཆོས་ཡིན་ན་མེད་པ་ཡིན་པས་ཁྱབ་པའི་ཕྱིར།
Because: If it is the property of the negandum of a correct sign, it is pervaded by being a non-existent.

Example 1: non-existence of the subsequent cogniser ascertaining flesh-eater
The existence of that subsequent cogniser is both; because that is a non-existent.
The flesh-eater is designated as that but is not the property of the negandum; because in general flesh-eaters exist.

Example 2: On a lake at night, there is no smoke because there is no fire.
The existence of smoke there is both; because that is a non-existent.
Smoke is designated as that but is not the property of the negandum; because in general smoke exists.

Up a level: Parts of the Syllogism