Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
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
Read more »