Polish notation

Polish notation, also known as prefix notation was created by Jan Łukasiewicz. Operators are placed before operands.

Np negation ~p \n:Kpq conjunction p ∧ q \n:Apq disjunction p ∨ q \n:Cpq material implication p → q \n:Epq material equivalence p ↔ q \n:PxFx universal quantifier ∀ x, Fx \n:SxGx existential quantifier ∃ x, Gx

See also: reverse Polish notation, infix notation