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

— 78 —

3)$b\supset c\,.\,\exists (a\smallfrown b)\,:\,\supset \,:\,\exists (a\smallfrown c)$(dArII)

4)$b\supset \lnot c\,.\,\exists (a\smallfrown b)\,:\,\supset \,:\,\exists (a\lnot c)$(ƒErIO)

Deuxième figure

5)$c\supset \lnot b\,.\,a\supset b\,:\,\supset \,:\,a\supset \lnot c$(cEsArE)

6)$c\supset b\,.\,a\supset \lnot b\,:\,\supset \,:\,a\supset \lnot c$(cAmEstrEs)

7)$c\supset \lnot b\,.\,\exists (a\smallfrown b)\,:\,\supset \,:\,\exists (a\lnot c)$(ƒEstInO)

8)$c\supset b\,.\,\exists (a\lnot b)\,:\,\supset \,:\,\exists (a\lnot c)$(bArOcO)

Troisième figure

9)$b\supset c\,.\,b\supset a\,:\,\supset \,:\,\exists (a\smallfrown c)$(dArAptI)

10)$\exists (b\smallfrown c)\,.\,b\supset a\,:\,\supset \,:\,\exists (a\smallfrown c)$(dIsAmIs)

11)$b\supset c\,.\,\exists (b\smallfrown a)\,:\,\supset \,:\,\exists (a\smallfrown c)$(dAtIsI)

12)$b\supset \lnot c\,.\,b\supset a\,:\,\supset \,:\,\exists (a\lnot c)$(ƒElAptOn)

13)$\exists (b\lnot c)\,.\,b\supset a\,:\,\supset \,:\,\exists (a\lnot c)$(bOcArdO)

14)$b\supset \,\lnot c\,.\,\exists (b\smallfrown a)\,:\,\supset \,:\,\exists (a\lnot c)$(ƒErIsOn)

Quatrième figure

15)$c\supset b\,.\,b\supset a\,:\,\supset \,:\,\exists (a\smallfrown c)$(brAmAntIp)

16)$c\supset b\,.\,b\supset \lnot a\,:\,\supset \,:\,a\supset \lnot c$(cAmEnEs)

17)$\exists (c\smallfrown b)\,.\,b\supset a\,:\,\supset \,:\,\exists (a\smallfrown c)$(dImArIs)

18)$c\supset \,\lnot b\,.\,b\supset a\,:\,\supset \,:\,\exists (a\lnot c)$(ƒEsApO)

19)$c\supset \,\lnot b\,.\,\exists (b\smallfrown a)\,:\,\supset \,:\,\exists (a\lnot c)$(ƒrEsInOn)

105. On remarquera d’abord que, moyennant la $\mathrm {P}$ 73 :

$a\smallfrown b=b\smallfrown a$

et son analogue                          $\,b\smallfrown c=c\smallfrown b$

le Datisi (11) se réduit au Darii (3), le Ferison (14) au Ferio (4), le Dimaris (17) au Disamis (10) et le Fresinon (19) au Festino (7).

On remarquera ensuite que, moyennant la $\mathrm {P}$ 97 [99]

$b\supset \lnot a\,.\,=\,.\,a\supset \lnot b$

et son analogue                     $\,b\supset \lnot c\,.\,=\,.\,c\supset \lnot b$

le Cesare (5) se réduit au Celarent (2), le Festino (7) au Ferio (4), le Camenes (16) au Camestres (6) et le Fesapo (18) au Felapton (12).

La $\mathrm {P}$ 96 [99]                     $b=\lnot a\,.\,=\,.\,a=\lnot b$

et ses analogues nous permettent par exemple d’appeler « $\lnot d$ » et « $d$ » les $\mathrm {Cls}$ qu’on nommait « $c$ » et « $\lnot c$ », ou celles qu’on nommait « $b$ »