— 102 —
appartenance [60] ; par suite la (IX) définit la négation d’une condition quelconque.
Par exemple, des 60 et 98 on déduit
d’où (IX) la P
125.
c’est-à-dire « il n’est pas vrai que x soit égal à y » signifie que « x est différent de y ».
La 125 ne doit pas être considérée comme une Df, parce qu’elle est une conséquence de la (IX) ; plutôt, si l’on veut adopter la formule « », on la définira par la 21
(X)
dont la 125 complète l’explication.
Après quoi, je définis la formule « » dans ses deux rôles, moyennant la 29 :
(XI)
et je définis le symbole « » dans ses deux rôles au moyen de la 105
(XII)[1]
Le symbole « » se trouve déjà défini par la 36
(XIII)
et le symbole « » (aut) par la 30
(XIV)
Je définis l’écriture « » par la P
126.(XV)
c’est-à-dire : « » signifie que « a est une distincte de », d’où la lecture : « il y a des a »[2].
- ↑ Les (XI), (XII) se trouvent aussi dans le Formulaire, mais précédées de l’
«
»
et par suite elles peuvent servir à définir les écritures « » et « » seulement dans leur premier rôle.
- ↑ Si dans la 38
on remplace « » par « » (X) et ensuite par « » [ 125], on obtient