J. Delbœuf, L’algorithmie de la Logique
“ L’indice est ce qui distingue deux symboles inverses. Changer l’indice de S, c’est remplacer S par S′ ; changer l’indice de S′, c’est remplacer S′ par S. 5. Théorème. Le négatif d’un concept est, pour le fond, identique avec l’inverse de ce concept ; en d’autres termes, le négatif d’un direct est un inverse. Démonstration. Soit S un concept ; son négatif est 1 ‒ S (4) ; or 1 ‒ S = S′ (2) qui est l’inverse de S (4) ; c. q. f. d. 6. Corollaire. Le négatif de l’inverse est identique avec le direct. 7. Théor. Le négatif d’un négatif est identique avec le positif. ”
