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

apparente [52] dans l’écriture (9) ou dans son équivalent (8); donc celle-ci est une vraie $\mathrm {P}$ [52], qu’on appelle une « implication ».

Même à la (5) on peut donner la forme d’une implication :
                         « $x\;\varepsilon \;\mathrm {2N}$ » implique «  $(x+1)\;\varepsilon \;(\mathrm {2N} +1)$ »(10)
Dans toute implication, la première condition est appelée « hypothèse » (qu’on abrège par « $\mathrm {Hp}$ ») et la seconde « thèse » (qu’on abrège par « $\mathrm {Ts}$ »).

55. On peut prouver d’une autre manière que dans l’implication (8) $x$ est une variable apparente ; en effet, on peut éviter l’emploi de cette variable, en disant :

tout poisson est un vertébré

ou en écrivant [31] :
                                             poisson $\;\supset \;$ vertébré(11)

Mais alors, en général, si a et b sont des $\mathrm {Cls}$ quelconques, l’implication

« $x\;\varepsilon \;a$ » xximpliquexx « $x\;\varepsilon \;b$ »

est équivalente à l’inclusion
                                                       $a\;\supset \;b$(12)

Ces deux dernières propositions étant équivalentes, au lieu d’inventer un nouveau symbole pour remplacer le mot « implique », on peut donner au signe « $\supset$ » ce nouveau rôle [28], en écrivant :
                                        « $x\;\varepsilon \;a$ » $\ \supset \$ « $x\;\varepsilon \;b$ »(13)

Les deux rôles du signe « $\supset$ » sont bien distincts : il est le symbole de l’inclusion ou de l’implication selon qu’on le trouve entre deux $\mathrm {Cls}$ ou entre deux conditions par rapport à une même variable [52]

Ainsi donc l’implication (8) s’écrira :
                                   « $x\;\varepsilon \;$ poisson » $\ \supset \$ « $x\;\varepsilon \;$ vertébré »(14)

et, tandis que la lecture du signe « $\supset$ » dans la (11) est « tout… est un… », dans la (14) cette lecture devient « implique » (ou bien « donc » ou bien « si… alors… »).

On verra dans la suite qu’en faisant ainsi nous respectons le principe de permanence [28], car le signe « $\supset$ » a les mêmes propriétés formelles dans les deux rôles que nous lui avons donnés (et nous ne lui en donnerons pas d’autres^[1]).

1. Leibniz avait remarqué les liens entre les inclusions et les implications :