Polnische Notation (auch Präfixnotation oder Lukasiewicz-Notation genannt) ist eine klammerfreie Schreibweise für Formeln bzw. allgemein Ausdrücke, bei der der Operator vor seinen Operanden geschrieben wird: Operator Operand1 Operand2 ... OperandN
Die Polnische Notation verdankt ihren Namen dem polnischen Mathematiker
Jan Lukasiewicz, der sie in den 1920er-Jahren entwickelte (eine genauere Datierung ist wohl nicht möglich). Lukasiewicz stellte die polnische Notation als kompakte und klammerfreie Schreibweise für die
Aussagenlogik vor. Als
Junktoren oder
Konnektive verwendet er N für die
Negation, K für die
Konjunktion, A für die
Disjunktion, C für das Konditional und E für das
Bikonditional. Als Satzbuchstaben, die für beliebige Aussagen stehen, verwendet er Kleinbuchstaben. Daraus lassen sich Aussagen wie Np („es ist nicht der Fall, dass p“) oder Cpq („Wenn p, dann q“) zusammensetzen.
Mehr unter Wikipedia.org...