Home > Polish notation
Polish notation, also known as prefix notation was created by Jan Lukasiewicz. Operators are placed before operands. These were the notations of propositional logic:
- Np negation ~p
- Kpq conjunction p ∧ q
- Apq disjunction p ∨ q
- Cpq material implication p → q
- Epq material equivalence p ↔ q
- PxFx universal quantifier ∀ x, Fx
- SxGx existential quantifier ∃ x, Gx
The same ideas can also be applied to arithmetical operations.
See also
Mathematical notation