‹ Les logiciens anglais contemporainsChapitre 43 sur 57 · B = BC · texte numérisé non relu

B = BC

dans l'identité A. = B, à B substituons son équivalent

BC, et nous avons :

A = BC La plus haute montagne d'Eufopef =ii* le Mont-Blanc, Le Mont-Blanc = mont cOuTertde neige, Donc la plus haute montagne d'Europe = mont

couvert de neige.

Troiaièma cas. — Enlâranee d'une- identité partielle,

tirés de deux identités partielles, type des syllogismes

de la prami^e figure de ranclem» logique :

B=aBG; ifanslictentîté A = AB, à B aubsMtuons son équivalent BC, et noas avons r

Page 1