Chapitre III.
Les transformations hétérologues par négations réciprocités ou corrélativités
a
đ
Les transformations I, N, R et C seront dorĂ©navant dites « homologues », en ce sens que toutes les formes Ă©quivalentes (ou homologues) dâune mĂȘme opĂ©ration, soumises Ă ces transformations, donnent des formes Ă©galement Ă©quivalentes entre elles dâune nouvelle opĂ©ration. Par exemple lâopĂ©ration IV 6 se prĂ©sente sous deux formes Ă©quivalentes [(p V r). (r 3 y)] et [(p 3 r) | (q | r)] ; or les inverses N de ces deux formes sont Ă©galement Ă©quivalentes entre elles : [(p âšÂ r) | (r 3 y)] ⥠[(p 3 r) | (y | r] ; les rĂ©ciproques R le sont Ă leur tour entre elles : [(p ⣠r).(q 3 r)] ⥠[(r P) I (7 v Îł)] ; et lΞs corrĂ©latives C aussi : [(p | r) | (q 3 r)] ⥠[(r 3 p).(q âšÂ r)]. *
On peut, par contre, effectuer certaines transformations sur une forme dĂ©terminĂ©e prise par une opĂ©ration, transformations bien dĂ©finies et aboutissant Ă des structures dâensemble cohĂ©rentes, sans que ces transformations aboutissent aux mĂȘmes rĂ©sultats que les mĂȘmes transformations appliquĂ©es Ă dâautres formes, cependant Ă©quivalentes (homologues) de cette opĂ©ration. Nous parlerons en ce cas de transformations « hĂ©tĂ©rologues ». Par exemple si, dans la forme [(p vr).(r 3 y)] de lâopĂ©ration III 6, on inverse chacune des deux opĂ©rations composĂ©es mais sans modifier lâopĂ©ration composante (transformation Nh), on trouve [(p. r).(y.r)] ⥠0 ; mais si lâon soumet Ă la mĂȘme transformation Nh la forme Ă©quivalente [(p 3 r) | (q | r)] de lâopĂ©ration IV 6 on trouve [(p. r) ⣠(y.r)] ⥠VIII.
Or lâexistence de ces transformations hĂ©tĂ©rologues est intĂ©-
[p. 37]ressante Ă deux points de vue. En premier lieu elle permet de construire de nouvelles structures en reliant par de telles transformations deux ou plusieurs quaternes ou couples dâopĂ©rations ternaires structurĂ©s chacun selon le groupe I, N, R et C et de composer en chaque cas ces transformations homologues avec certaines transformations hĂ©tĂ©rologues en un systĂšme cohĂ©rent. Câest ce que nous allons voir au cours des paragraphes suivants. En second lieu, et du point de vue de lâinterprĂ©tation de la logique en gĂ©nĂ©ral, elle montre que deux opĂ©rations Ă©quivalentes ne sont pas tautologiquement identiques, puisque deux systĂšmes de formes Ă©quivalentes soumises aux mĂȘmes transformations nâaboutissent pas au mĂȘme rĂ©sultat ! Ăquivalence signifie donc simplement possibilitĂ© de substitution opĂ©ratoire, cette possibilitĂ© pouvant ĂȘtre, selon les cas, gĂ©nĂ©rale ou restreinte Ă des degrĂ©s divers1.
Ces transformations hĂ©tĂ©rologues sont de deux types les unes procĂ©dant selon divers modes de nĂ©gation et les autres par permutations. Nous Ă©tudierons les secondes au chapitre suivant. Quant aux premiĂšres, elles consistent en inversions, rĂ©ciprocitĂ©s (ou nĂ©gation des propositions) et corrĂ©lativitĂ©s (ou nĂ©gations de la rĂ©ciproque) portant sur lâune, lâautre ou lâensemble des opĂ©rations composĂ©es de lâexpression considĂ©rĂ©e.
§ 9. Le groupe a 8 Ă©lĂ©ments des transformations INRC et Nhđ
Repartons de lâopĂ©ration I 1 et de ses transformations INRC mais pour soumettre chacun des Ă©lĂ©ments de ce quaterne Ă la nĂ©gation hĂ©tĂ©rologue Nh. On aura ainsi :
(39) Nh [p . (q.r)] âĄp. (q | r) ⥠III 56 correspondant Ă II
Nh [p ⣠(q.r)]âĄp âŁ(qâŁr) âĄV 56 â VIII
Nh [p . (q.f)] = p. (q Vr) ⥠III 1 â 18
Nh [p ⣠(q.r)] ⥠p | (q Vr) ⥠V 1 â VII 8
1. Pour passer dâune forme donnĂ©e Ă une forme Ă©quivalente, il est, en effet, nĂ©cessaire dâeffectuer certaines opĂ©rations et ce sont ces opĂ©rations mĂȘmes qui diffĂ©rencient les unes des autres les formes Ă©quivalentes : il est alors naturel que ces opĂ©rations, qui sont distinctes tout en aboutissant Ă des produits Ă©quivalents, donnent lieu Ă des rĂ©sultats diffĂ©rents lorsquâelles sont composĂ©es avec une nouvelle opĂ©ration.
[p. 38]Or, on a vu plus haut (tabl. 33) que V 56 est lâinverse de III56, que III 1 est la rĂ©ciproque de III 56 et que V I est la corrĂ©lative de III 56. Aux 4 transformations INRC du quaterne I 1, VII 1, I 8 et VII 8, mis sous la forme p. (q.r), etc., correspondent donc les 4 transformations dâun autre quaterne, structurĂ© selon le mĂȘme groupe INRC mais composĂ© des opĂ©rations III 56, V 56, III 1 et V 1 mises sous la forme p. (q | r), etc. ; et cette correspondance entre les deux quaternes est assurĂ©e par la transformation de chaque Ă©lĂ©ment du premier eh un Ă©lĂ©ment du second, bien âdĂ©terminĂ© au moyen de lâopĂ©rateur hĂ©tĂ©rologue Nh.
GrĂące Ă cette nouvelle transformation Nh, qui multiplie par deux les 4 transformations de base INRC, nous sommes donc en prĂ©sence dâune nouvelle structure, que nous nommerons le groupe Ă 8 Ă©lĂ©ments. On peut schĂ©matiser comme suit la structure de ce groupe (voir la fig. 1) :
Nh N
Soit, par exemple, I 1 â » III 56 â ⊠V 56. On en dĂ©duit 4 1 -CNhR> V 56. En effet C (I 1) = (VII 8) ; Nh (VII 8) = (V 1) et
NhN NNh
R (V 1) = V 56. De mĂȘme I 8 > V 1 ⥠I 8 V 1 car Nh (I 8) = (III 1) et N (III 1) = V 1. Or N (I 8) = VII 8 et Nh (VII 8) = V 1.
Nh
N li Ï Z
ii *â â * is sise *â â * nu
>
N zx ân Z^
Z XÂ /Â N
c c >Z c
âN
VU 8 - - VHi V, â - *- Vâ 6
Xn K
zĂ Nh
Nh
Fig. 1
Un tel groupe constitue donc une structure totale indépendante et nouvelle par rapport au groupe de 4 éléments, la transformation Nh se composant avec les autres de façon commutative
[p. 39]I
et associative. Mais il est essentiel de souligner le fait que, la transformation Nh Ă©tant hĂ©tĂ©rologue la relation entre les opĂ©rations III 56, etc., et les opĂ©rations I 1, etc., nâest pas la mĂȘme quâentre les opĂ©rations intĂ©rieures Ă chacun de ces deux quaternes. Il suffit, par exemple, de donner aux opĂ©rations 11, etc., la forme (p. q).r, etc., pour que la transformation N h les transforme en des opĂ©rations diffĂ©rentes de III 56, etc. :
(41) Nh [r . (p. q)] ⥠r . (p | q) III 51 correspondant Ă II Nh [r | (p. q)] ⥠f | (p | q) V 51 â VIII
Nh [f . (p. q)] ⥠r . (p âšÂ q) III 8 â 18
Nh [f ⣠(p. q)] ⥠r | (p V q) V 88 â VII 8
Le groupe Ă 8 Ă©lĂ©ments, tout en constituant une structure bien dĂ©finie, ne comporte donc pas une parentĂ© entre les opĂ©rations lui servant dâĂ©lĂ©ments aussi Ă©troite quâentre les constituants dâun groupe simple INRC.
NĂ©anmoins, on aperçoit dâemblĂ©e que si le quaterne I 1-VII 8 peut se transformer indiffĂ©remment en un quaterne III 56-V 1 ou en un quaterne III 51-V 8 selon la forme attribuĂ©e aux opĂ©rations I. 1, etc., ces correspondances multiples ne sont point arbitraires, mais forment elles-mĂȘmes un nouveau groupe. Câest ainsi que le passage de la forme Ă la forme [r.(p. y)] de lâopĂ©ration 11 constitue lui-mĂȘme une transformation bien dĂ©terminĂ©e, que nous appellerons dans la suite la permutation de lâopĂ©ration uninaire Ppr. Or, Ă comparer les tableaux (39) et (41), on constate que la diffĂ©rence entre les opĂ©rations III 56- V 1 et les opĂ©rations III 51-V 8 tient prĂ©cisĂ©ment Ă une telle permutation de lâopĂ©ration uninaire, de telle sorte quâil est aisĂ© de transformer III 56 en III 51, V 56 en V 51, III 1 en III 8 et V 1 en V 8 au moyen de la mĂȘme transformation Ppr. Dans le cas de I 1 formes1 A et C [r.(p. y)] les deux formes A et C sont Ă©quivalentes, cela est vrai, tandis que III 56 est une opĂ©ration distincte de III 51, mais la transformation est la mĂȘme j i j Ï i pPr Ï1 z- Nh
dans les deux cas. Les correspondances I 1 A >â I 1 C â *
1. Nous appellerons dans la suite (§ 17) A, B et C les figures dans lesquelles lâopĂ©ration uninaire est p, g ou r. Il ne faut donc pas confondre ici le symbole C dans le sens de la figure C avec le symbole de la corrĂ©lative. Aucune Ă©quivoque ne sera possible dans ce qui suivra.
Z
4) Ng de (2) = Nd (43) 1) Opérations 2) Nd de (1) 3) Ng de (1) de (3) = Nh de (1)
I I 1 [r.(p. q)] [r . (p | q)] ⥠III 42 [r . (p. q)]⥠12 [r . (p ⣠q)] ⥠III 51
N VII 1 [r | (p. q)] [r | (p ⣠q)] ⥠V 42 [r ⣠(p. q)] ⥠VII 2 [f  | (p ⣠q)] ⥠V 51
R I8[f.(p. q)] [f . (p V q)] ⥠III 28 [r.(p. q)]⥠17 [r . (p V q)] ⥠III 8
C VII 8 [r | (p. q)] [fâŁ(pVq)]⥠V 28 . [r ⣠(p. q)] ⥠VII 7 [r  | (p V q)] ⥠V 8
4) Nh de (1) = Ng (44) 1) Opérations 2) Nd de (1) 3) Ng de (1) de (2) = Nd de (3)
I .. I IV 3 [(p | r) | (q 3 r)] [(p | r) ⣠(q.f)] ⥠VI 11 [(p. r)  | (q 3 r)] ⥠VI 2 [(p. r) ⣠(q.r)] ⥠VIII
N . IV 68 ](p | r) . (q 3 r)] [(p | r) . (q.f)] ⥠II 11 [(p. r) . (q ? r)] ⥠II 2 [(p. r) . (q.r)] ⥠O
R . IV 65 [(p V r) | (r 3 q)] ](p V r) ⣠(q.r)] ⥠VI 17 [(p. r)  | (r 3 q)] ⥠VI 27 [(p. f) ⣠(q.r)] ⥠VIII
C.. IV 6 [(p V r) . (r 3 q)] [(p V r) . (q.r)] ⥠II 17 [(p. f) . (r 3 q)] ⥠II 27 [(p. f) . (q.r)] ⥠O
[p. 41]Prp Nh
III 51 â â III 56 â >â 11 A constituent donc un nouveau groupe plus complexe que le prĂ©cĂ©dent (et non commutatif en ce qui concerne Ppqr). Mais nous nâen saurions aborder lâĂ©tude avant dâavoir analysĂ© les transformations hĂ©tĂ©rologues par permutations. Bornons-nous, pour lâinstant, Ă conclure que, si les transformations hĂ©tĂ©rologues par nĂ©gation nâatteignent pas la gĂ©nĂ©ralitĂ© des transformations homologues, elles nâen permettent pas moins la construction de nouveaux groupes Ă structure bien dĂ©finie, et que ces nouveaux groupes peuvent Ă leur tour servir de point de dĂ©part Ă la structuration de groupes plus complexes, comme nous en verrons sans cesse dans la suite. Sans sortir, dâailleurs, des composantes de la transformation N h, nous allons constater dĂšs le § 10 la possibilitĂ© dâenglober le groupe Ă 8 Ă©lĂ©ments en un groupe de 16.
§ 10. Le groupe a 16 Ă©lĂ©ments des transformations Ng, Nd, Nh et INRCđ
Bornons-nous maintenant Ă nier lâune des deux opĂ©rations composĂ©es et commençons par une expression uninaire-binaire. En ce cas ? nous dĂ©signerons par le symbole Ng la nĂ©gation de lâopĂ©ration composĂ©e de gauche en Ă©crivant toujours Ă gauche, par convention, lâopĂ©ration uninaire : Ng sera donĂ© la nĂ©gation de cette derniĂšre. Nd sera par contre la nĂ©gation de lâopĂ©ration de droite, câest-Ă -dire, par convention, de lâopĂ©ration composĂ©e binaire. On a naturellement :
(42) NgNd = NdNg = Nh
et
(42 bis) NdNgNh = I â
Reprenons comme exemple, le quaterne des opérations I 1, VII 1, I 8 et VII 8 sous la forme du tableau (41) et dressons la table des transformations Ng, Nd et Nh (voir tabl. 43).
On voit lâĂ©lĂ©gance dâun tel systĂšme : les opĂ©rations de la quatriĂšme colonne sont simultanĂ©ment les Nh de celles de la premiĂšre, les Ng de celles de la seconde et les Nd de celles de la
[p. 42]troisiÚme. De plus les Nd sont les N h des N g et réciproquement. On aura donc toujours :
(43 bis) Nd = NhNg et Ng = NhNd (commutatif)
En outre les 4 Nd, les 4 Ng et les 4 Nh sont respectivement les INRC de leur propre quaterne, en correspondance avec les 4 opérations du quaterne de départ (premiÚre colonne).
Par exemple, lâopĂ©ration V 8 est Nd (VII 7) N (I 7) R (I 2) Nh (III 42) C (V 28) Nd de VII 8. Mais V 8 est aussi : C (III 51) Ng (I 2) N (VII 2) Nd (V 51), Nh (VII 1) R de VII 8, câest-Ă -dire que les deux suites de transformations NdNRNhCNd et CNg- NNdNhR conduisent du mĂȘme point de dĂ©part (V 8) au mĂȘme produit (VII 8) par deux voies diffĂ©rentes, ces deux voies sc ramenant dâailleurs lâune et lâautre Ă Nh (parce que NdNd = I et CNR = I).
Examinons encore un autre exemple du groupe Ă 16 Ă©lĂ©ments des transformations N h, N g et Nd et choisissons-le maintenant dans le cas des opĂ©rations binaires-binaires. Il importe Ă cet Ă©gard, de formuler dâabord une convention quant au choix de ce que nous appellerons les opĂ©rations de gauche et de droite. En une expression dont le moyen terme est p nous dĂ©signerons lâopĂ©ration p (a) q comme Ă©tant celle de gauche et lâopĂ©ration p (ÎČ) r comme Ă©tant celle de droite. Si le moyen terme est q lâopĂ©ration p (a) q sera dite Ă©galement celle de gauche et q (ÎČ) r celle de droite. Si le moyen terme est r, enfin, lâopĂ©ration p (a) r sera celle de gauche et q (ÎČ) r celle de droite. Ces dĂ©signations restent valables en cas de permutation des opĂ©rations a et ÎČ, lâordre des propositions restant le mĂȘme (y y x Ă©quivaut de ce point de vue h x c y).
Soit, par exemple, lâopĂ©ration IV 3 [(p | r) | (q y r)] : la transformation N g donnera alors [(p. r) | (y y r)] et la transformation Nd : [(p | r) | (q.f). On obtiendra ainsi la mĂȘme forme de groupe (voir tabl. 44, p. 40).
On reconnaĂźt en effet la mĂȘme structure que celle du tableau (43) et on constate que les prop. (42) et (42 bis) sont . Ă©galement vĂ©rifiĂ©es. Il se trouve seulement que, dans le cas particulier des opĂ©rations VIII et O, on a N = 1 et R = C, câest-Ă -dire que la rĂ©ciproque et la corrĂ©lative ne constituent pas des transformations distinctes de lâidentique et de lâinverse : K ? * q) .(q * r)] ⥠[(p * q) .(q * r)] et ((p * q) | (q * F)] ⥠[(p ⊠q) | (q * r)]. Mais cette rĂ©duction du quaterne VII1-0 Ă un couple ne
[p. 43]modifie en rien la structure du groupe formĂ© par les transformations INRC, Nh, N g et Nd, lequel conserve ainsi les mĂȘmes lois quâil sâagisse dâopĂ©rations binaires-binaires ou uninaires- binaires et de quaternes complets ou de couples R = I et N = C.
Par contre, les transformations Nh, Ng et Nd Ă©tant hĂ©tĂ©rologues, il est clair quâune mĂȘme opĂ©ration ne donnera pas nĂ©cessairement lieu aux mĂȘmes produits Nh, etc., selon quâelle est mise sous une forme uninaire-binaire ou binaire-binaire. Par exemple, si lâon attribue Ă lâopĂ©ration III 42 une forme binaire-binaire [(r 3 p) I (r 3 7)1> transformation Nh ne conduit plus Ă I 2 p. (p. 7)] comme au tableau (43), mais Ă VII 7 [(p. r) ⣠(7.r)] ⥠[r I (P-Ăź)]â tIuÎč est la corrĂ©lative C de I 2. Seulement une fois de plus, de telles irrĂ©gularitĂ©s apparentes suivent en rĂ©alitĂ© des lois prĂ©cises et nous allons dâemblĂ©e dĂ©gager celle qui rĂ©git les rapports de la transformation Nh et de la distributivitĂ©.
On sait que les opĂ©rations binaires (.) et (v) sont distributives, chacune pour son compte ainsi que Îune par rapport Ă lâautre (ce qui englobe les opĂ©rations p | q, p 3 q, q i p, p 3 7 et 7 3 p sous leurs formes p âšÂ q, p âšÂ q, p âšÂ 7, p. qet p. q mais non pas les opĂ©rations =, w, *, 0 et p[7], etc.). On a donc, pour les 4 quaternes binaires complets, ainsi que pour toutes les opĂ©rations ternaires dont les formes uninaires et binaires sont exprimables en termes de (v) et de (.), quels que soient les signes des propositions x, y et z :
(45) x.(y âšÂ z) = (x.y) âšÂ (x.z) et x âšÂ (y.z) = (x âšÂ y).(x âšÂ z)
Or, si lâon compose cette distribution (45), que nous symboliserons par D, avec la transformation Nh, on sâaperçoit quâelles ne sont pas commutatives, mais prĂ©sentent cette propriĂ©tĂ© gĂ©nĂ©rale que leur composition dans un sens donne la corrĂ©lative du produit de leur composition dans lâautre sens :
(46) NhD = CDNh et DNh = CNhD
En effet :
D Nh
Ï.(y vz)â [(x.y) âšÂ (x.z)] â > [(x âšÂ Ăż)v(x âšÂ z)]
et : x.(y V z) â > x.(y.z) -â [(x.Ăż).(x.z)] D Nh
ou : x.(y . z) â [(x.y).(x.z)] â [(x V Ăż).(x V z)]
et : x.(y . z) â âș x.(Ăż vz) â [(x.Ăż) âšÂ (x.z)]
[p. 44]Or [(* âšÂ y) âšÂ (Ï âšÂ ^)] est par dĂ©finition la corrĂ©lative de [(*.Ăż). (*.*)], de mĂȘme que [(^v^)â(^v j)] est celle de [(*.Ăż) âšÂ (f.z), puisque tous les (.) et les (v) sont permutĂ©s de lâune de ces expressions Ă lâautre. Il en rĂ©sulte alors, pour ce qui est de lâopĂ©ration III 42 :
(47) III 42 = r.(p V q) B [(p. r) V (q.r) â [(
 âšÂ f) V (q V f)] =
[(pr | qr)] = VII 7
Nh D
et = r (p | q) = r.(p âšÂ q) â . f.(p. q) â [(p. r). (q. r)J = 12
les opérations VII 7 et I 2 étant corrélatives.
§ 11. Les transformations hĂ©tĂ©rologues de rĂ©ciprocitĂ© et de corrĂ©lativitĂ©đ
Si nous appliquons maintenant Ă la rĂ©ciprocitĂ© ce que nous venons de voir des nĂ©gations hĂ©tĂ©rologues, nous pouvons introduire de mĂȘme les transformations Rg et Rd selon que lâon transforme en sa rĂ©ciproque lâopĂ©ration binaire (ou uninaire) de gauche ou lâopĂ©ration binaire de droite. Rappelons que nous Ă©crirons toujours Ă gauche lâopĂ©ration uninaire. Quant aux expressions binaires-binaire, nous conserverons les mĂȘmes conventions que pour Ng et Nd, câest-Ă -dire que lâon aura :
Moyen terme Rg Rd
P P (a) (1 ou P (ÎČ) q p (a) r ou p(ÎČ)r
q â^â P (â) q ou p (ÎČ) q q (a.) r ou q (ÎČ) r
r p (a) r ou p (ÎČ) r q (a) r ou q (ÎČ) r
Quant Ă la transformation Rh (=Rg Rd) on se rappelle (prop. 34 bis) que lâon a Rh = R. On en dĂ©duit immĂ©diatement que :
(48) Rg = RRd et Rd = RRg (commutatif)
Voici un exemple des transformations Rg, Rd et Rh, que nous prendrons dâemblĂ©e de type binaire-binaire :
[p. 45]tf On vérifie en premier lieu la prop. (48) :
les Rd sont les R des Rg et réciproque-
S S co w g ment : par exemple III 10 est la Rd
â Â >Â Â >Â Â >Â Â >Â de IV 3, ce qui entraĂźne le fait quâelle est
λw m M aussi la R de III 35, laquelle est la Rq
* de IV 3.
,* On en déduit que ces transforma-
o c « m tions Rq, Rd et Rh se rĂ©duisent en fait âŒH râ çq çqu
_ à un groupe de 8 éléments seulement,
K H puisque les Rh sont identiques aux R et
NI III III III puisque les Rd et les Rg ne constituent â 4Â ? jamais deux quaternes distincts mais relĂš-
â r, vent dâun mĂȘme quaterne disposĂ© selon
pâ ĂŽ d 5 S deux ordres diffĂ©rents.
w 77â ^C Les transformations Rg et Rd nâen
â â > > sont pas moins trĂšs importantes dans ĂȘùùù leurs relations avec les transformations
par permutation, comme nous le verrons W « O O ri
n « h sans cesse a propos des permutations du
S > âĄÂ > moyen terme ou des permutations dâopĂ©-
S III III III III rations.
o En symétrie avec les transformations
"Ξ précédentes, nous pouvons introduire
tf » » h Ό maintenant les transformations Cg et Cd
^ â ⹠â ⹠de la corrĂ©lativitĂ©, selon que lâon trans-
ÂŁ ÂŁ 2121 forme en sa corrĂ©lative lâopĂ©ration bi-
p aa a naire (ou uninaire) de gauche ou lâopĂ©ra-
â â â â tion binaire de droite. La double trans-
formation CgCd sâĂ©crira Ch, que nous ry ry ry connaissons dĂ©jĂ (§ 8) et qui ne se confond
c S 5 i pas avec âa corrĂ©lative C (homologue).
5 ~ ~ ^2 Prenons Ă titre dâexemple, comme prĂ©-
â â 21 > > cĂ©demment lâopĂ©ration binaire-binaire IV 3
(2, aaap et le quaterne INRC dont elle fait par-
z-. â â â tie :
âŒh co oo m co
CD cd
>>>> H-< H-( HH HH
[p. 46]Les transformations hĂ©tĂ©rologues de cor- rĂ©lativitĂ© aboutissent ainsi Ă un groupe de 16 Ă©lĂ©ments, comme les transformations N g. Ni et Nh. Mais il est facile de les rĂ©duire, en tous les cas, Ă des transformations dâordre R et N :
On a dâabord, en vertu du caractĂšre rĂ©versible de la corrĂ©lative (CC = I) :
(51) Cg = ChCd et Cd = ChCg
On a ensuite les équivalences suivantes ;
a) La transformation Ch dâune opĂ©ration âą donnĂ©e, par exemple VIII ⥠[(p. r) | (g. r)J pour IV 3, Ă©quivaut Ă la transformation Nh de la rĂ©ciproque R de cette opĂ©ration. Dans cet exemple, la R est IV 65 [(p âšÂ r) | (r ) ç)] et la Nh de R est bien [(p. f) ⣠(7.r)] :
(52) Ch = NhR ou Ch = NhNC
En effet, on a (prop. 35) Ch = NhRh et Rh = R.
b) La transformation Cg dâune opĂ©ration donnĂ©e est Ng de Rg. Par exemple Cg de IV 3, est [(p. r) [ (7 j r)]. Or Rg de IV 3 est [(p âšÂ r) | (7 ? r)] et Ng de [(p vr) | (q ) r)J est [(p. r) | (q ) r)]. De meme Cd sera Rd de Nd :
(53) Cg = NgRg et Cdâ = NdRd (commutatif)
En effet C = N R, dâoĂč Cg = Ng Rg et Cd = NdRd.
c) On a en outre la relation générale suivante :
(54) Cg = NhRCd et Cd = NhRCg
âmâ m
 »â (
c >00
~ HL III fll ni Ï ââ â TT TT â â5 . 7 ? tâ â7 âÎŒ, Î âŁÏ<âŁcr, ĂŒ* Cr, Ă ? ââŁ7ââ7 17 17 r- i> 01 04 >â < HH »âą* âąâ â - III lll. III III <D lâ wâ mâ 1ââ â rc 717177 g Îčcr,âcrl^^ â 1717 1717  > > P*ÏÎ 00 00 rM HH HH »â < h-( _ > > ÂŁ lll lll lll lll Îłc h â
trtj< W) Ï Ï Ï Ï U m . o ? â 7799i g Wu h .2 λ : 17 7 ? 1717 -a>  > > q afto<a r* co â m co <0 co ĂĂĂĂ En effet, Cg â Ch Cd (prop. 51) et Ch = NhR (prop. 52). De mĂȘme Ci = Ch Cg et Ch = Nh R.
i
[p. 47]Par exemple VII 8 est Cg de IV 3 : or la rĂ©ciproque R de la Cd de IV 3, câest-Ă -dire de VII 7, est VII 2 ; et VII 8 sous la forme qui lui est donnĂ©e dans le tableau (50) est la Nh de VII 2.
d) On a enfin :
(55) Cg = NdRdCh et Cd = NgRgCh
En effet Cd = Nd Rd (prop. 53) et Cg = CdCh (prop. 51). De mĂȘme Cd = ChCg et Cg = NgRg.
Par exempte VII 8, Cg de ĂV S est la Nd Rd Ch de IV 3, parce que Ch ⥠[(p. t) ⣠â .r)]; Rd Ch ⥠[(p. f) | (q.r)] et Nd Rd ChâĄ[(p. f) \ (q 3 r)]âĄVII 8.
En conclusion, toutes les transformations hĂ©tĂ©rologues de corrĂ©lativitĂ© sont donc rĂ©ductibles Ă des transformations Ng, Nd et Nh ainsi que Rg, Rd et Rh (= R). Ces corrĂ©lativitĂ©s hĂ©tĂ©rologues nous seront donc peu utiles dans la suite, par opposition aux transformations prĂ©cĂ©dentes. H nâen est pas moins intĂ©ressant de constater quâelles forment Ă elles seules un groupe de 16 Ă©lĂ©ments distinct de la structure (44) quoique en relation avec cette derniĂšre grĂące aux Ă©quivalences (52) Ă (55) que nous venons de dĂ©montrer.
ÂŒ