polnische Notation

von J. Łukasiewicz eingeführte Schreibweise von Formeln, in der bei binären Verknüpfungen (z. B. der Größen A und B) das Verknüpfungszeichen (z. B. j) vorangestellt wird, also jAB, statt zwischen die beiden Größen wie in der gewöhnlichen Infixnotation (A j B). Durch die polnische Notation werden Klammern entbehrlich.