Polish notation
Polish notation, also known as prefix notation was created by Jan Łukasiewicz. Operators are placed before operands.
- 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
This article is a stub. You can help Wikipedia by expanding it.