Polish notation

Polish 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

... Enter your search terms Submit search form   Web www.wikilookup.info   This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.