Nous dirons que p implique q, si |—-.p)q

3.3. Soit f(r) une fonction propositionnelle (1.3) contenant r entre autres propositions-éléments; soient p et q deux propositions équivalentes, (pas forcément éléments). Alors f(p) et f(q) sont équivalentes.

Nous allons trouver ici le premier exemple de raisonnement

par récurrence sous la forme particulière dont nous avons parlé

1) Il convient de remarquer que l’on peut toujours réduire tout système de propositions primitives: p,, p,,..., Ps à un système de deux propositions primitives, qui seraient avec les notations de 3.41: |—.p..p,.p,....p, Cp op