Correct negation sign

ཁྱོད་དེ་སྒྲུབ་ཀྱི་རྟགས་ཡང་དག་གང་ཞིག ཁྱོད་ཀྱི་རྟགས་ཀྱིས་དེ་སྒྲུབ་ཀྱི་དངོས་ཀྱི་བསྒྲུབ་བྱའི་ཆོས་སུ་བཟུང་བྱ་ཡང་ཡིན།
དགག་པ་ཡང་ཡིན་པའི་གཞི་མཐུན་སྲིད་པ། ཁྱོད་དེ་སྒྲུབ་ཀྱི་དགག་རྟགས་ཡང་དག་གི་མཚན་ཉིད།
Definition of x being the correct negation sign in the proof of that:

1. x is the correct sign in the proof of that;
2. there is a possible common locus between:
   1. being that held as the explicit property of the probandum in the proof of that using the sign "x"; and
   2. being a negation.

Mutually inclusive with Correct non-observation sign.

Up a level: Correct sign