Chapitre

conviendrons que ce sera p lui-même; cette convention permet de se servir des formules (1), (2) et (3), même dans le cas n—=1

3.45. Remarque 3. Nous aurons besoin plus loin de la propriété suivante, que nous généraliserons dans 5.34:

La proposition ai.a:...:.a,.v.b;.b2.. -b, est équivalente au produit de toutes les proposition a;vb., i et Ÿ prenant tou- Les les valeurs possibles.

On démontre d’abord ceci pour p—1, par récurrence sur n; puis ensuite, par récurrence sur p, sans aucune difficulté si on se

rappelle que A.B.vC est équivalent à A.C.v.B.C (P. M. 4.4).