ཁྱབ་པ་སྒོ་བརྒྱད།

Les huit classes d’implications

Litt. les huit portes des implications. Elles sont à distinguer des huit syllogismes formellement valides རྟགས་གསལ་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།. En l’occurrence, il s’agit ici de huit relations logiques qui peuvent être abordées selon quatre groupes : 1-

2. ཡིན་ཁྱབ་གཉིས། Les deux implications.

1. Implication.

Si x est vraie, y est vraie. 2. Réciproque. Si y est vraie, x est vraie. 3-

4. མིན་ཁྱབ་གཉིས། Les deux exclusions.

3. Négation de l’antécédent.

Si x n’est pas vraie, y n’est pas vraie. 4. Contraposée. Si y n’est pas vraie, x n’est pas vraie. 5-

6. ཡོད་ཁྱབ་གཉིས། Les deux implications d’existence.

5. Implication de l’existence.

Si x existe, y existe. 6. Implication réciproque de l’existence. Si y existe, x existe. 7-

8. མེད་ཁྱབ་གཉིས། Les deux exclusions d’existence.

7. Négation de l’antécédent de l’existence.

Si x n’existe pas, y n’existe pas. 8. Contraposée de l’existence. Si y n’existe pas, x n’existe pas. Syn. les huit classes d’implications entre définitions et définis མཚན་མཚོན་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།