DELBŒUF. — LOGIQUE ALGORITHMIQUE
��557
��47. On entend par termes variables ceux qui peuvent être l'objet de suppositions différentes.
Dans les jugements ces termes variables sont représentés par x et y. Par conséquent, S — x et P — y sont aussi des termes variables puisqu'ils sont de même nature que x et y (28). Cependant, en Tab- sence d'autres indications, l'expression de variables sera réservée uniquement pour les termes x et y.
48. DÉF. Toute équation peut prendre quatre formes différentes, suivant que les variables y ont toutes deux une extension, ou que x est nul, ou que y est nul, ou que x et y sont nuls tous deux. Ces formes s'appellent modes et seront désignées respectivement par les lettres A, B, G, D, pour les jugements affirmatifs et les négatifs dou- bles (41) par A, B, C, D, pour les jugements négatifs simples.
���Fig. 4.
���Fig. 5.
���Fig. 6.
���Fig. 7.
��Rem. 8. Ces modes correspondent aux positions diverses que les lignes de division peuvent prendre dans le cercle. C'est ce que font voir les quatre figures ci-contre.
��III. Discussion des Jugements affirmatifs*
49. DÉF. Nous appelons complexité ou entrecroisement cette rela- tion du sujet et du prédicat grammaticaux qui correspond au mode
�� �
