Chapitre

Montrons que les propriétés se conservent dans l’applica-

tion de chaque règle de passage.

1% Cas de la propriété B.

Pour les règles de passage relatives au signe ©, cela résulte immédiatement de Ch. 1, 3.42.

Considérons les règles de passage relatives au signe v; on voit immédiatement que (x).Dxvpet(x).Dx.v.p,et que (4x).Pxvp et (4x). D x.vp ont, dans toute occurence, des réduites équivalentes (on utilise Ch. 1, 5.34).