Page:Padoa - La Logique déductive dans sa dernière phase de développement.djvu/78

— 72 —

85.                    $b\,\supset \,a\,.\,c\,\supset \,a\,:\,\supset \,:\,b\,\smallfrown \,c\,\supset \,a$(Leibnitz)

« $b\,\smallfrown \,c\,\supset \,a$ » n’implique pas « $b\,\supset \,a\,.\,c\,\supset \,a$ » (fig. 10).

Fig. 8.

Fig. 9.

L’analogie entre les propriétés des signes « $\smallfrown$ » et « $\smallsmile$ » (telle qu’elle résulte, par ex., de la comparaison des $\mathrm {P}$ 72, 74, 76, 78, 80, 82 avec les

Fig. 10.

$\mathrm {P}$ 73, 75, 77, 79, 81, 83) justifierait l’attente que le signe « $\supset$ » eût la propriété distributive à gauche aussi par rapport au signe « $\smallsmile$ »

Fig. 11.

Fig. 12.

Mais le signe « $\supset$ » n’a pas du tout la propriété distributive par rapport au signe « $\smallsmile$ », ni à gauche ni à droite. En effet, tandis que (si a, b, c sont trois $\mathrm {Cls}$ ou trois conditions)