‹ Les logiciens anglais contemporainsChapitre 14 sur 57 · X in loto II Y in toto · texte numérisé non relu

X in loto II Y in toto

5. X ex [arte => Y ex parte; O.X ex parte || Y ex parte;' 7. X ex parte = Y in toto; 8.x ex parte || Yiatot*

o.,GoogIc

a Mais, .comme dans toute équation il n'importe pas lequel des deux membres est exprimé le premier, les deux dernières de ces huit formes sont identiques avec les deux premières et peuvent par conséquent être négligées.

c La seconde peut être aussi négligée, car la quatrième exprime la môme chose d'une manière plus convenable pour le procédé déductif.

a II leste donc les cinq formes suivantes :

i. Xin loto =Yintoto; 2. X in toto = Y ex parte; ■i V ■ . . ,. w W" toto ou

Page 1