A = BC

La plus haute montagne d'Europe = le Mont-Blanc, Le Mont-Blanc = mont couvert de neige, Donc la plus haute montagne d'Europe = mont couvert de neige.

Troisième cas. — Inférence d'une identité partielle, tirée de deux identités partielles, type des syllogismes de la première figure de l'ancienne logique :

A = AB, B = BG; dans ridentité A = AB, à B substituons son équivalent BC, et nous avons :

A = ABC

Sodium = métal sodium.

Métaux = métaux conducteurs de l'électricité ;

Donc sodium = métal sodium conducteur de l'électricité.

Quatrième cas. — Inférence d'une identité simple tirée de deux identités partielles :

A = AB, Br= AB;

dans l'identité A = AB, à AB substituons son équivalent B, et nous avons :

Triangle équilatéral = triangle équiangle équilatéral,

Triangle équiangle = triangle équilatéral équiangle. Donc triangle équilatéral = triangle équiangle. Cinquième cas. — Inférence d'une identité limitée, tirée de deux identités partielles :