Prefix 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
See also: Reverse Polish Notation, Infix notation
Referenced By
Notation
|
