Peano-Russell-Notation
# Peano-Russell-Notation

Die Peano-Russell-Notation ist eine Schreibweise für logische Formeln, die von Giuseppe Peano in seinem Formulario Mathematico (5. Aufl. 1908) einerseits und von Bertrand Russell und Alfred North Whitehead in ihren Principia Mathematica (1910–1913) andererseits entwickelt wurde. Sie ist im Unterschied zu Gottlob Freges Begriffsschrift (1879) linear (eindimensional), stärker an die Schreibweise der Algebra angelehnt und wird mit geringfügigen Änderungen größtenteils bis heute verwendet. Russell und Whitehead schreiben im ersten Kapitel der Principia:

   „Die Notation, die wir in diesem Buch verwenden, schließt sich an diejenige Peanos an, und die folgenden Erklärungen basieren zum Teil auf denen, die er seinem Formulario Mathematico voranstellt. Wir übernehmen seine Verwendung von Punkten statt Klammern und viele seiner Symbole.“

Die wichtigsten logischen Symbole der Peano-Russell-Notation sind:

    $\sim p$ für die Negation
    $p\lor q$ für die Disjunktion
    $p\cdot q$ für die Konjunktion
    $p\supset q$ für die Implikation
    $p\equiv q$ für die Äquivalenz
    $\exists x.\phi (x)$ für den Existenzquantor
    $(x).\phi (x)$ für den Allquantor
    $\vdash .p$ als Behauptungszeichen

Punkte und Doppelpunkte fungieren als Hilfszeichen zur Gruppierung, wie in moderner Schreibweise die Klammern.

