Polish notation

English

Etymology

After the nationality of the logician Jan Łukasiewicz

Noun

Polish notation (uncountable)

1. (arithmetic, logic) A notation for arithmetic (and logical) formulae in which operations (respectively, quantifiers and operands) are written immediately before their operands, used to avoid the need for parentheses; for example, 3 * (4 + 7) is written as * 3 + 4 7 and A AND B is written as AND A B.
   • 2009, Brandon C. Look, “Symbolic Logic II, Lecture 6”, in www.uky.edu/~look‎^[1], archived from the original on 9 November 2011:

     In Polish Notation, the connectives are placed before the wffs. The virtue of this sentence is that its grammar is simpler, for it has no need for parentheses. Sider’s examples: (P ∧ Q) → R and P ∧ (Q → R) become → ∧PQR and ∧P → QR.
     If you actually look at a text in this tradition, you’ll find something slightly different. “C” stands for “consequence”, i.e., implication (→) and “N” for negation (∼).
     So,consider the following from Tarski and Łukasiewicz’s Investigations into the Sentential Calculus. The claim there is that there are three axioms:
         ‘CCpqCCqrCpr’
         ‘CCNppp’
         ‘CpCNpq’

Synonyms

• prefix notation

Translations

notation for arithmetic formulae

• Chinese:

  Mandarin: 波蘭表示法 / 波兰表示法 (Bōlán biǎoshìfǎ)

• Czech: polská notace f
• Finnish: puolalainen notaatio
• French: notation polonaise (fr) f
• German: Polnische Notation f
• Greek: πολωνικός συμβολισμός m (polonikós symvolismós)
• Japanese: ポーランド記法 (ja) (Pōrando-kihō)
• Polish: Notacja polska f
• Portuguese: notação polonesa
• Romanian: notație poloneză f
• Russian: по́льская нота́ция f (pólʹskaja notácija)
• Spanish: notación polaca f

See also

• infix notation
• postfix notation
• reverse Polish notation