J = OH

X E a -j b = xza.-j.Xz.b; c'est-à-dire : de ce qu'un nombre donné satisfait à l'une des deux conditions, d'être multiple de 1-3, ou divisé par 13 de donner 1 pour reste, on peut conclure que ce nombre est multiple de 13 ou que divisé par 13 il donnera 1 pour reste, l'une des deux propositions est nécessairement vraie. Mais la forme analogue

xoa-jb = x^a.\).xob

n'est pas exacte; c'est-à-dire : toute puissance 12" est de la forme 13n ou 13n -{- 1, mais on n'a le droit d'en conclure ni que toute puissance 12" soit de la forme 13n, ni que toute puissance 12' soit de la forme 1.3/i-[-l; les deux propositions, précisément en raison de leur généralité, peuvent être fausses à la fois. Notations de Logique mathématique. Introduction au Formulaire de Mathématiques, Turin, 1894, § 10, p. 19.