En logique mathématique, la notation Peano-Russell est l'application de Bertrand Russell de la notation logique de Giuseppe Peano aux notions logiques de Frege, et est utilisé dans l'écriture des Principia Mathematica en collaboration avec Alfred North Whitehead :^[1]

La notation adoptée dans ce travail est basée sur celle de Peano, et les explications qui suivent sont dans une certaine mesure basées sur le modèle de celles qu'il expose dans son Formulario Mathematico [à savoir, Peano 1889].»

Les quatre fonctions fondamentales sont les fonctions contradictoires, la somme logique, le produit logique et la fonction implicative^[2].

La fonction contradictoire appliquée à une proposition retourne sa négation.

${\displaystyle \sim p}$

La somme logique appliquée à deux propositions retourne sa disjonction.

${\displaystyle p\lor q}$

Le produit logique appliqué à deux propositions retourne la valeur de vérité des deux propositions étant toutes les deux vraies.

${\displaystyle p\cdot q}$

La fonction implicative appliquée à deux propositions ordonnées retourne la valeur de vérité de la première impliquant la seconde proposition.

${\displaystyle p\supset q}$

${\displaystyle p\equiv q}$, tient pour ${\displaystyle p\supset q\cdot q\supset p}$^[3].

L'assertion est la même que la réalisation d'une déclaration entre deux étapes complètes.

${\displaystyle \vdash p}$

Une proposition affirmée est forcément vraie (sauf erreur de la part de l'écrivain)^[4].

L'inférence est équivalente à la règle du modus ponens, où ${\displaystyle p\cdot p\supset q.\supset q}$^[5]

En plus du produit logique, des points ont également été utilisés pour afficher des regroupements de fonctions de propositions. Dans l'exemple ci-dessus, le point avant le dernier symbole de l'implication groupe toutes les fonctions précédentes.

La notation comprend les définitions en tant que fonctions complexes de propositions, en utilisant le signe égal « = » pour séparer le terme défini de sa définition symbolique, se terminant par les lettres «def.»^[6].

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Peano-Russell notation » (voir la liste des auteurs).

• (en) Alfred North Whitehead et Bertrand Russell, Principia Mathematica, Cambridge University Press, 1910.

• Linsky, Bernard. "The Notation in Principia Mathematica". Stanford Encyclopedia of Philosophy. 

• Portail de la logique
• Portail des mathématiques