On peut donc formuler ces deux lois

Dans la proposition affirmative, l attribut est pris dans toxitr sa compréhension^ mais non pas dans toute son extension.

Dans la proposition négative, Valtribal est pris dans toute son. : lensioit, mais non pas dans toute sa compréhension.

Toutefois, il est un cas où l'extension et la compréhension de l'attribut sont identiques à celles du sujet, c'est le cas de la définilion. Exemple : L homme est un animal raisonnable. Ici, l'affirmation est exprime une identité totale, une véritable équation entre le snjet et l'attribut; tandis que dans les autres cas, elle n'exprime nu'une identité partielle.

Nous verrons l'importance de ces lois, (juand il s'agira de foriiiuler les régies de la déduction immédiate par le procédé de conversion.

>i t. — Théorie de Hamilton sur la " quantification du prédicat ■).