AB W

Ab m

oB H

<•'>, ['] [a] et Ip] étant le développement de A, [y] et [S] celui de a, [«] et M, celui de B, [p] et [S] celui de b.

u..„;;c:. Cookie

166 LES LOGICIENS aHALAIS CONTEMPORAINS

Soit mtintenant la prémisse A = B. Noua voyons, par substitution, que des quatre combinaisons ci-dessus deux sont contradicioirps, k savoir Xb et à&, et que, par suite , daux seulepaect doivent être coQservées, k savoir AB et àb. — De U les iDtéreaces sui> vantes :