Division by way of mode of proof
There are five:
- Correct sign proving the meaning དོན་སྒྲུབ་ཀྱི་རྟགས་ཡང་དག
- Correct sign proving the convention ཐ་སྙད་སྒྲུབ་ཀྱི་རྟགས་ཡང་དག
- Correct sign proving only the meaning དོན་འབའ་ཞིག་སྒྲུབ་ཀྱི་རྟགས་ཡང་དག
- Correct sign proving only the convention ཐ་སྙད་འབའ་ཞིག་སྒྲུབ་ཀྱི་རྟགས་ཡང་དག
- Correct sign proving both convention and meaning དོན་དང་ཐ་སྙད་གཉིས་ཀ་སྒྲུབ་ཀྱི་རྟགས་ཡང་དག
Definition of x being the first in the proof of that:
- x is a correct sign in the proof of that;
- there is a possible common locus between:
- being that held as the explicit property of the probandum in the proof of that using the sign "x"; and
- being a definition.
Definition of x being the second in the proof of that:
- x is a correct sign in the proof of that;
- there is a possible common locus between:
- being that held as the explicit property of the probandum in the proof of that using the sign "x"; and
- being a definiendum.
Definition of x being the third in the proof of that:
- x is a correct sign in the proof of that;
- there is a possible common locus between:
- being that held as the explicit property of the probandum in the proof of that using the sign "x";
- being a definition; but
- no possible common locus between that and being a definiendum.
Definition of x being the fourth in the proof of that:
- x is a correct sign in the proof of that;
- there is a possible common locus between:
- being that held as the explicit property of the probandum in the proof of that using the sign "x";
- being a definiendum; but
- no possible common locus between that and being a definition.
Definition of x being the fifth in the proof of that:
- x is a correct sign in the proof of that;
- there is a possible common locus between:
- being that held as the explicit property of the probandum in the proof of that using the sign "x";
- being a definition; and
- being a definiendum.
See also: Correct signs proving the meaning and convention
Up a level: Correct sign