ao6.=.-6o-a
« Si de a on déduit 6 , de - 6 on déduit - a , et réciproquement. »
Sont à noter les propositions suivantes, dues à M. Peirce, qui permettent de transporter un facteur du premier dans le second membre, et un terme du deuxième dans le premier d'une déduction:
[*) Proceedings of the London mathematical Society y 1878, vol. X,p. 16.
xTfT^r^ ■