Encyclopedia > Polish notation

  Article Content

Polish notation

Created by Jan Lukasiewicz[?]. Operators are placed before operands. Compare to Reverse Polish Notation.

 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  



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Anna Karenina

... encourages him in this plan, but, later that evening, Kitty rejects him in the expectation that Vronsky is about to propose to her. The following morning Stiva and ...

 
 
 
This page was created in 25 ms