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

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 མཚན་མཚོན་གྱི་ཁྱབ་པ་སྒོ་བརྒྱད།.