La logique déductive dans sa dernière phase de développement, par Alessandro Padoa. Avec une préface de Giuseppe Peano.

- 78 -

3) b c. (a 6): =: (a c) dAvII
4) b = - c. (>^ ):a: a= - c) /'Er IO
Deuxieime filgure
5) c - b. a 6D:: - c cEsArE
6) c b.a - b a = - c cAIEstIEs
7) c = b6.3(a ): =: 3 - c) tEstInO
8) c b.a(a- b) a3: (Ja-c) 6ArOcO
Iroisiemze figttre
9) b =m c. b =D a ': a(a r c) dArAvj I I
10) a (b c). 1: a: =: (ac ^ C) clAlsAI
11) /b=C.11(b6>l: =:a(C c c) caA/II
12) b - c. b ~ a: (at - c) /ElAptOn
13) r }. b a: (a - c) bOcArCdO
14) b -c. (b t):: (a- c) /ElrsOn
Quctlrieme figure
15) c Z b. b a: =: a (t ' c) brAmnAtIp
16) c b. b - a C: a: a. -c cAmlEnEs
17),a(c b). =6: =3 j(a C) TdImAIIs
18) c -. b: (a - c) ' EsA.CpO
19) a): (a - ) (t ) rEsInO
105. On rermarquera d'abord que, moyennant la P 73
a a b-b 6 a
et son analogue b ^ cc 6 b
le Dialsi (11) se r6cluit au Darii (3), le Ierison (14) au Ferio (4), le
DimnCais (17) au Disclais (10) et le Fresinon ('19) au Flestio (7).
On rernarquera ensuite que, moyennant la P 97 [99 -b m - a. a.a = b
et son analogue b - c.. c -b
le Cesare (5) se r6duit au Celacrct (2), le Festino (7) au Ferio (4), le
Camenes (16) au Ccameslres (6) et Ie Fesapo (18) au Felapton (12).
La P 96 [99] b =-a. = a=- b
et ses analogues nous permettent par exemple d'appeler (( - d, et (( d
les CIs qu'on nommait (( c >> et ((-c,, ou celles qu'on nommait (( b