Les règles de raisonnement

2. Nous dirons que certaines propositions sont vraies, d’après les conventions suivantes !).

Nous considérerons d’abord comme vraies les cinq propositions suivantes (qui seront dites primitives, ce que l’on indique en les faisant suivre des lettres Pp), et toutes celles qu’on en déduit en remplaçant les lettres qui y figurent par d’autres lettres ou par des propositions non éléments (1.3):

lepvp. op Pp 2) qa).pva Pp 3) .pvq.).qvp Pp AJépv.aver gave Mix -Pp

SG er- pq )pvE Pp

1) Il sera bien entendu, que, quand nous dirons qu’une proposition p n’est pas vraie, cela ne voudra pas dire que op est vraie (C’est ainsi qu’une proposition élément ne sera jamais vraie).